8810 search results - page 339 / 1762 » Openness |
193
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Early grand challenge papers in health informatics identified numerous challenges, many of which either remain as open questions or have been resolved within fairly narrow domains...
169
click to vote
ECOWS
2007
Springer
16 years 24 days 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...
108
click to vote
ICRA
2006
IEEE
16 years 20 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...
153
click to vote
ICRA
2005
IEEE
16 years 7 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...
180
click to vote
LPAR
2005
Springer
16 years 4 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...