1398 search results - page 37 / 280 » Ensuring Properties of Interaction Systems |
116
click to vote
JANCL
2006
15 years 1 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
116
click to vote
JVCA
2010
15 years 12 days ago
2010
In a context of interactive applications, adapting motion capture data to new situations or producing variants of them are known as non trivial tasks. We propose an original metho...
107
click to vote
ICOST
2009
Springer
14 years 11 months ago
2009
Springer
Smart Homes are pervasive systems that interact with the user using a service offer paradigm to provide fully automated daily repetitive tasks. When services are augmented with sem...
WSCG
2004
15 years 3 months ago
2004
This paper describes a Mixed Reality-supported interactive museum exhibit. Using an easy and intuitive pointing gesture recognition system, the museum visitor is able to create hi...
106
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents the genesis of RoboX. This tour guide robot has been built from the scratch based on the experience of the Autonomous Systems Lab. The production of 11 of thos...