5216 search results - page 846 / 1044 » Planning as Model Checking |
173
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
146
click to vote
CLUSTER
2008
IEEE
16 years 27 days ago
2008
IEEE
—Scientific simulation and modeling often aid in making critical decisions in such diverse fields as city planning, severe weather prediction and influenza modeling. In some o...
144
click to vote
IROS
2008
IEEE
16 years 25 days ago
2008
IEEE
—This paper introduces a new approach to develop robots that can learn general affordance relations from their experiences. Our approach is a part of larger efforts to develop a ...
194
click to vote
IROS
2008
IEEE
16 years 25 days ago
2008
IEEE
— In this paper, scalable collaborative human-robot systems for information gathering applications are approached as a decentralized Bayesian sensor network problem. Humancompute...
170
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— This paper describes an investigation into the adaptive control of autonomous mobile sensor platforms for providing oceanographic sampling. Mobile sensor platforms prov...