5164 search results - page 556 / 1033 » Consistency of the EKF-SLAM Algorithm |
195
click to vote
FPGA
2010
ACM
15 years 10 months ago
2010
ACM
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...
201
click to vote
SGP
2007
15 years 9 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...
184
click to vote
AAAI
2008
15 years 9 months ago
2008
Hybrid Scheduling Problems (HSPs) contain both temporal and finite-domain variables, as well as constraints between them. A hybrid constraint over temporal and finite-domain varia...
220
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
The problem of coalition formation when agents are uncertain about the types or capabilities of their potential partners is a critical one. In [3] a Bayesian reinforcement learnin...
211
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...