Sciweavers

5170 search results - page 70 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
CORR
2011
Springer
207views Education» more  CORR 2011»
14 years 7 months ago
The AllDifferent Constraint with Precedences
We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables. We ident...
Christian Bessiere, Nina Narodytska, Claude-Guy Qu...
FOSSACS
2011
Springer
14 years 4 months ago
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Naoki Kobayashi
ISBI
2011
IEEE
14 years 5 months ago
Hippocampus segmentation using a stable maximum likelihood classifier ensemble algorithm
We develop a new algorithm to segment the hippocampus from MR images. Our method uses a new classifier ensemble algorithm to correct segmentation errors produced by a multi-atlas...
Hongzhi Wang, Jung Wook Suh, Sandhitsu R. Das, Mur...
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
14 years 8 months ago
A lower bound for distributed averaging algorithms on the line graph
We derive lower bounds on the convergence speed of a widely used class of distributed averaging algorithms. In particular, we prove that any distributed averaging algorithm whose ...
Alexander Olshevsky, John N. Tsitsiklis
ICASSP
2011
IEEE
14 years 5 months ago
A proportionate adaptive algorithm with variable partitioned block length for acoustic echo cancellation
Due to the nature of an acoustic enclosure, the early part (i.e., direct path and early reflections) of the acoustic echo path is often sparse while the late reverberant part of ...
Pradeep Loganathan, Emanuel A. P. Habets, Patrick ...