857 search results - page 17 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
CIVR
2007
Springer
14 years 2 months ago
2007
Springer
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
CHI
2011
ACM
13 years 6 days ago
2011
ACM
vSked is an interactive and collaborative assistive technology for students with autism, combining visual schedules, choice boards, and a token-based reward system into an integra...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...