Sciweavers

5170 search results - page 22 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
TSP
2008
111views more  TSP 2008»
13 years 10 months ago
Consistent Impulse-Response Estimation and System Realization From Noisy Data
A novel method for the estimation of a finite part of the impulse response is presented. The method is consistent in case the measured output data are prone to colored noise. The c...
E. Reynders, Rik Pintelon, G. De Roeck
SIAMCO
2002
121views more  SIAMCO 2002»
13 years 10 months ago
Consistent Approximations and Approximate Functions and Gradients in Optimal Control
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
Olivier Pironneau, Elijah Polak
CAV
2008
Springer
96views Hardware» more  CAV 2008»
14 years 25 days ago
Implied Set Closure and Its Application to Memory Consistency Verification
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
Surender Baswana, Shashank K. Mehta, Vishal Powar
SAC
2010
ACM
14 years 5 months ago
Relational consistency by constraint filtering
In this paper, we propose a new algorithm for enforcing relational consistency on every set of k constraints of a finite Constraint Satisfaction Problem (CSP). This algorithm ope...
Shant Karakashian, Robert J. Woodward, Berthe Y. C...
CP
2005
Springer
14 years 4 months ago
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
Heikel Batnini, Claude Michel, Michel Rueher