2618 search results - page 183 / 524 » Natural Human-Robot Interaction |
192
Voted
CONCUR
2007
Springer
16 years 1 months 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...
175
Voted
LTCONF
2007
Springer
16 years 1 months 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...
163
Voted
SAMT
2007
Springer
16 years 1 months 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 ...
166
Voted
SI3D
2006
ACM
16 years 1 months 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...
160
Voted
ISMIS
2005
Springer
16 years 16 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...