4565 search results - page 187 / 913 » Time Optimal Self-Stabilizing Algorithms |
WABI
2001
Springer
14 years 3 months ago
2001
Springer
We derive a branch-and-bound algorithm to find an optimal inversion median of three signed permutations. The algorithm prunes to manageable size an extremely large search tree usi...
HYBRID
2010
Springer
14 years 5 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
DSN
2007
IEEE
14 years 5 months ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
RTSS
2006
IEEE
14 years 4 months ago
2006
IEEE
In many applications we can deploy large number of sensors spanning wide geographical areas, to monitor environmental phenomena. The analysis of the data collected by such sensor ...
MIRAGE
2009
Springer
14 years 3 months ago
2009
Springer
3D human motion capture by real-time monocular vision without using markers can be achieved by registering a 3D articulated model on a video. Registration consists in iteratively o...