1600 search results - page 122 / 320 » Problem-solving in open environments |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper addresses the problem of maneuvering an object by pushing it through an environment with obstacles. Instead of only pushing the object through open spaces, we also a...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
INFOCOM
1996
IEEE
14 years 1 months ago
1996
IEEE
The telecommunications environment is changing its face towards an open market of information services where the vision is "information any time, at any place, in any form&qu...
CSREASAM
2006
13 years 10 months ago
2006
Mobile technologies are experiencing rapid growth and adoption in both enterprise and consumer markets, as users demand unfettered access to resources, services, and data at any ti...
WSC
2000
13 years 10 months ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...