3678 search results - page 525 / 736 » On the Stable Paths Problem |
274
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
151
click to vote
AI
2010
Springer
15 years 9 months ago
2010
Springer
Area coverage is one of the emerging problems in multi-robot coordination. In this task a team of robots is cooperatively trying to observe or sweep an entire area, possibly conta...
155
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Real-time main-memory databases are useful in real-time environments. They are often faster and provide more predictable execution of transactions than disk-based databas...
156
click to vote
CVPR
1999
IEEE
15 years 8 months ago
1999
IEEE
We address the problem of detection and tracking of moving objects in a video stream obtained from a moving airborne platform. The proposed method relies on a graph representation...
148
click to vote
VISUALIZATION
1999
IEEE
15 years 8 months ago
1999
IEEE
ct A method for comparing three-dimensional vector fields constructed from simple critical points is described. This method is a natural extension of the previous work [1] which de...