5164 search results - page 304 / 1033 » Consistency of the EKF-SLAM Algorithm |
140
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
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...
190
click to vote
ISAAC
2005
Springer
15 years 10 months ago
2005
Springer
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...
137
Voted
EMMCVPR
2001
Springer
15 years 9 months ago
2001
Springer
—Geodesic spline interpolation is a simple and efficient approach for landmark matching by nonambiguous mappings (diffeomorphisms), combining classic spline interpolation and ...
168
click to vote
EH
1999
IEEE
15 years 9 months ago
1999
IEEE
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...
137
click to vote
SEBD
2008
15 years 6 months ago
2008
We propose a logical framework for set preferences. Candidate sets are represented using profiles consisting of scalar features. This reduces set preferences to tuple preferences o...