2796 search results - page 315 / 560 » The coolest path problem |
340
click to vote
ISQED
2002
IEEE
15 years 11 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...
197
click to vote
AI
2010
Springer
15 years 11 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...
173
click to vote
IPPS
2000
IEEE
15 years 11 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...
197
click to vote
CVPR
1999
IEEE
15 years 11 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...
170
click to vote
JCB
2000
15 years 6 months ago
2000
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...