3758 search results - page 294 / 752 » A Complete Subsumption Algorithm |
178
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
—The ability to effectively communicate underwater has numerous applications, such as oceanographic data collection, pollution monitoring, disaster prevention, assisted navigatio...
152
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We study the problem of contour tracking with binary sensors, an important problem for monitoring spatial signals and tracking group targets. In particular, we track the...
180
click to vote
ICCV
2007
IEEE
16 years 28 days ago
2007
IEEE
The matching of planar shapes can be cast as a problem of finding the shortest path through a graph spanned by the two shapes, where the nodes of the graph encode the local simil...
134
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
166
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...