Sciweavers

5170 search results - page 273 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
SIGMOD
2006
ACM
111views Database» more  SIGMOD 2006»
16 years 2 months ago
Reconciling while tolerating disagreement in collaborative data sharing
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...
Nicholas E. Taylor, Zachary G. Ives
CADE
2008
Springer
16 years 2 months ago
Towards Fully Automated Axiom Extraction for Finite-Valued Logics
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
Dalmo Mendonca, João Marcos
ISAAC
2005
Springer
127views Algorithms» more  ISAAC 2005»
15 years 7 months ago
On Complexity and Approximability of the Labeled Maximum/Perfect Matching Problems
In this paper, we deal with both the complexity and the approximability of the labeled perfect matching problem in bipartite graphs. Given a simple graph G = (V, E) with n vertices...
Jérôme Monnot
EMMCVPR
2001
Springer
15 years 6 months ago
Geodesic Interpolating Splines
—Geodesic spline interpolation is a simple and efficient approach for landmark matching by nonambiguous mappings (diffeomorphisms), combining classic spline interpolation and ...
Vincent Camion, Laurent Younes
EH
1999
IEEE
127views Hardware» more  EH 1999»
15 years 6 months ago
A System for Intrinsic Evolution of Linear and Non-Linear Filters
A system for exploring intrinsic evolution of linear and non-linear filter systems is described. It consists of a testbed topology of operational amplifiers and linear or non-line...
Stuart J. Flockton, Kevin Sheehan