4693 search results - page 261 / 939 » Verifying Hybrid Systems |
214
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...
169
click to vote
ECAI
2004
Springer
16 years 13 hour ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
207
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
222
click to vote
AAAI
2007
15 years 9 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
356
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...