4460 search results - page 493 / 892 » Formal methods for interactive systems |
286
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
161
click to vote
EWMF
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Recommender systems suggest objects to users. One form recommends documents or other objects to users searching information on a web site. A recommender system can be use...
281
click to vote
AMS
2005
Springer
16 years 9 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 ...
185
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...
148
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We introduce the Look Ma No Keyboard user interface, an ergonomic and intuitive method for controlling music sequencing software from a piano controller by adding a momentary foot...