5639 search results - page 961 / 1128 » Timed Abstract Non-interference |
115
click to vote
EUROMED
2010
15 years 15 days ago
2010
Abstract. Cultural Heritage Sites are in danger of being destroyed due to several factors, such as earthquakes, uncontrolled urbanization and air pollution. The latest, whether it ...
FOCM
2010
15 years 15 days ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
128
click to vote
ICCCI
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
114
click to vote
ICRA
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract— This paper describes a new algorithm for cooperative and persistent simultaneous localization and mapping (SLAM) using multiple robots. Recent pose graph representation...
100
click to vote
ICRA
2010
IEEE
15 years 13 days ago
2010
IEEE
Abstract— Enabling mobile robots to assemble large structures in constrained environments requires planning systems that are both capable of dealing with high complexity and can ...