434 search results - page 78 / 87 » Improved Algorithms for the 2-Vertex Disjoint Paths Problem |
RTSS
1998
IEEE
15 years 1 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
102
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
ICDE
2005
IEEE
15 years 3 months ago
2005
IEEE
Queries on XML documents typically combine selections on element contents, and, via path expressions, the structural relationships between tagged elements. Efficient support for ...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— The configuration space of a robot is partitioned into free space and C-obstacle space. Most of the prior work in collision detection and motion planning algorithms is targete...
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...