12015 search results - page 666 / 2403 » Interactive Algorithms 2005 |
300
click to vote
AMS
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Dealing with methods of Human-Robot-Interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system ...
194
click to vote
ATVA
2005
Springer
16 years 24 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
197
click to vote
AUSAI
2005
Springer
16 years 24 days ago
2005
Springer
Immersive telecommunication is a new challenging field that enables a user to share a virtual space with remote participants. The main objective is to offer rich communication moda...
202
click to vote
CAISE
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
175
click to vote
CASSIS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...