680 search results - page 113 / 136 » Types for the Ambient Calculus |
LISP
2006
13 years 7 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
SI3D
2009
ACM
14 years 2 months ago
2009
ACM
Physically plausible illumination at real-time framerates is often achieved using approximations. One popular example is ambient occlusion (AO), for which very simple and efficie...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
—Wide spread adoption of mobile Internet services will increase the demand for low cost high capacity wireless networks. Cooperation between different types of operators will ena...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...