396 search results - page 43 / 80 » Embodied Computation |
IEEESCC
2005
IEEE
14 years 3 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
KDD
2000
ACM
14 years 1 months ago
2000
ACM
Predictive models in direct marketing seek to identify individuals most likely to respond to promotional solicitations or other intervention programs. While standard modeling appr...
CHI
2009
ACM
2009
ACM
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
14 years 10 months ago
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...
CSCW
2007
ACM
13 years 9 months ago
2007
ACM
Leisure computing has been traditional associated with interactive entertainment media and game playing, yet despite the penetration of computing into the home, this form of engage...
ARTMED
2006
13 years 10 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...