6355 search results - page 224 / 1271 » From Logic to Games |
134
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
164
Voted
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...
306
click to vote
COMPSYSTECH
2010
15 years 5 months ago
2010
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...
166
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers distribute user...
157
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...