76 search results - page 14 / 16 » Compositional Action System Derivation Using Enforced Proper... |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
People strive to obtain self-knowledge. A class of systems called personal informatics is appearing that help people collect and reflect on personal information. However, there is...
ICDE
2012
IEEE
13 years 1 days ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
RT
2004
Springer
15 years 2 months ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
AAAI
2007
14 years 12 months ago
2007
This paper describes recent results from the robotics community that develop a theory, similar in spirit to the theory of computation, for analyzing sensor-based agent systems. Th...