5165 search results - page 296 / 1033 » Consistency of the Neighbor-Net Algorithm |
165
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
152
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We propose a distributed algorithm to detect “cuts” in sensor networks, i.e., the failure of a set of nodes that separates the networks into two or more components. The alg...
161
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
A limitation of the state-of-art multi-view reconstruction algorithms is in their ability to handle scenes with very little texture or a lot of clutter. Texture-less scenes with c...
160
click to vote
ICDCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Learning the underlying model from distributed data is often useful for many distributed systems. In this paper, we study the problem of learning a non-parametric model from distr...
171
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, first order diffusion load balancing algorithms for totally dynamic networks are investigated. Totally dynamic networks are networks in which the topology may chan...