1566 search results - page 88 / 314 » Planning and learning together |
124
click to vote
IJCAI
2003
15 years 7 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
181
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Interaction with context-aware mobile hand-held devices creates new demands for user interfaces and interaction methods. These devices, which detect the use context in order to a...
119
click to vote
WSCG
2001
15 years 7 months ago
2001
the problem of locating services in a given context requires a methematical abstraction so that its complexity can be managed by means of an iterative search through context simul...
141
click to vote
GRAPHICSINTERFACE
2000
15 years 7 months ago
2000
Character animation is usually reserved for highly skilled animators and computer programmers because few of the available tools allow the novice or casual user to create compelli...
187
click to vote
RAS
2010
15 years 4 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...