Sciweavers

5164 search results - page 394 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
SMA
2010
ACM
187views Solid Modeling» more  SMA 2010»
15 years 7 months ago
Polygonizing extremal surfaces with manifold guarantees
Extremal surfaces are a class of implicit surfaces that have been found useful in a variety of geometry reconstruction applications. Compared to iso-surfaces, extremal surfaces ar...
Ruosi Li, Lu Liu, Ly Phan, Sasakthi S. Abeysinghe,...
AMC
2007
80views more  AMC 2007»
15 years 6 months ago
A dynamic generating graphical model for point-sets matching
This paper presents a new dynamic generating graphical model for point-sets matching. The existing algorithms on graphical models proved to be quite robust to noise but are suscep...
Xuan Zhao, Shengjin Wang, Xiaoqing Ding
CACM
2008
53views more  CACM 2008»
15 years 6 months ago
Distributed selection: a missing piece of data aggregation
In this article, we study the problem of distributed selection from a theoretical point of view. Given a general connected graph of diameter D consisting of n nodes in which each ...
Fabian Kuhn, Thomas Locher, Roger Wattenhofer
CLASSIFICATION
2008
73views more  CLASSIFICATION 2008»
15 years 6 months ago
Solving Non-Uniqueness in Agglomerative Hierarchical Clustering Using Multidendrograms
: In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters coincide during the ama...
Alberto Fernández, Sergio Gómez
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur