1980 search results - page 362 / 396 » Compositional Model Checking of Real Time Systems |
ISMAR
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
DIALM
2010
ACM
13 years 7 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
MM
2010
ACM
13 years 9 months ago
2010
ACM
We present a novel visual creativity tool that automatically recognizes facial expressions and tracks facial muscle movements in real time to produce sounds. The facial expression...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
In many practical applications, one is interested in generating a ranked list of items using information mined from continuous streams of data. For example, in the context of comp...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...