2618 search results - page 183 / 524 » Natural Human-Robot Interaction |
173
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
159
click to vote
LTCONF
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we present a set of optimizations for a spoken language interface for mobile devices that can improve the recognition accuracy and user interaction experience. A com...
154
click to vote
SAMT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract—An interactive retrieval method adapted to surveillance video is presented. The approach is formulated as an iterative SVM classification and builds upon the two major ...
148
click to vote
SI3D
2006
ACM
16 years 15 days ago
2006
ACM
Natural scenes contain large amounts of geometry, such as hundreds of thousands or even millions of tree leaves and grass blades. Subtle lighting effects present in such environme...
147
click to vote
ISMIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...