3954 search results - page 214 / 791 » Image-based Model Completion |
149
click to vote
CALCO
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
155
click to vote
ICARCV
2006
IEEE
16 years 16 days ago
2006
IEEE
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
174
click to vote
PADS
2006
ACM
16 years 13 days ago
2006
ACM
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
169
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...
193
click to vote
ICCS
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...