8496 search results - page 464 / 1700 » Problem Solving and Complex Systems |
216
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
188
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
212
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— In this paper, we address the problem of determining the relative position and orientation (pose) of two robots navigating in 2D, based on known egomotion and noisy rob...
271
click to vote
TASE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
257
click to vote
ECBS
1999
IEEE
15 years 12 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...