4752 search results - page 350 / 951 » From computation models to models of provenance: the RWS app... |
202
Voted
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
181
Voted
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
183
Voted
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...
204
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
172
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...