5164 search results - page 147 / 1033 » Consistency of the EKF-SLAM Algorithm |
144
click to vote
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
89
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
116
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
111
Voted
IJCAI
2003
15 years 2 months ago
2003
We present an algorithm Pref-AC that limits arc consistency (AC) to the preferred choices of a tree search procedure and that makes constraint solving more efficient without chan...
117
Voted
TIP
1998
15 years 11 days ago
1998
— The design of the optimal codebook for a given codebook size and input source is a challenging puzzle that remains to be solved. The key problem in optimal codebook design is h...