8810 search results - page 406 / 1762 » Open. Closed. Open |
180
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
A major advantage offered by Web services technologies is the ability to dynamically discover and invoke services. This ability is particularly important for operations of many ap...
111
click to vote
ICRA
2006
IEEE
16 years 27 days 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...
159
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
– We describe a monocular robot vision system which accomplishes accurate 3-DOF dead-reckoning, closedloop motion control, and precipice and obstacle detection, all in dynamic en...
185
click to vote
LPAR
2005
Springer
16 years 10 days 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...
190
click to vote
JCDL
2004
ACM
16 years 8 days ago
2004
ACM
Archived biomedical literature and sequence data are growing rapidly. The Open Archives Initiative's Protocol for Metadata Harvesting (OAI-PMH) [1] provides a convenient way ...