5075 search results - page 274 / 1015 » Convergence |
187
click to vote
ICIP
2005
IEEE
16 years 8 days ago
2005
IEEE
—In this paper we introduce a new 3D automatic registration method based on Gaussian fields and energy minimization. The method defines a simple ∞ C energy function, which is c...
183
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Existing random membership management algorithms provide each node with a small, uniformly random subset of global participants. However, many applications would bene...
189
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
143
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
172
click to vote
SMI
2005
IEEE
16 years 7 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...