4565 search results - page 655 / 913 » Time Optimal Self-Stabilizing Algorithms |
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
132
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
The algebraic framework introduced in [Koutis, Proc. of the 35th ICALP 2008] reduces several combinatorial problems in parameterized complexity to the problem of detecting multili...
106
click to vote
WEBI
2009
Springer
15 years 7 months ago
2009
Springer
All pairs similarity search is the problem of finding all pairs of records that have a similarity score above the specified threshold. Many real-world systems like search engine...
97
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— This paper presents new algorithms for conducting cooperative sensing using a mobile backbone network. This hierarchical sensing approach combines backbone nodes, which...
113
Voted
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
We describe an algorithm for automatically finding correspondences from face video sequences. This method is useful to many applications such as face tracking, face modeling and ...