3222 search results - page 21 / 645 » A Data Model for Effectively Computable Functions |
DEBU
2006
13 years 7 months ago
2006
The wide deployment of wireless sensor and RFID (Radio Frequency IDentification) devices is one of the key enablers for next-generation pervasive computing applications, including...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
An investigation is conducted into the effects of a complex mapping between genotype and phenotype upon a simulated evolutionary process. A model of embryogeny is utilised to grow ...
3DPVT
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...