5216 search results - page 930 / 1044 » Planning as Model Checking |
119
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— A new distributed coordination algorithm for multi-vehicle systems is presented in this paper. The algorithm combines a particular choice of navigation function with Voronoi pa...
127
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
142
click to vote
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The emerging paradigms of service oriented architectures and utility-based computing have the potential to greatly reduce the cost of data management. Data management service prov...
117
click to vote
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
131
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
As an increasing number of digital library projects embrace the harvesting of item-level descriptive metadata, issues of description granularity and concerns about potential loss ...