5164 search results - page 505 / 1033 » Consistency of the EKF-SLAM Algorithm |
197
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
214
click to vote
ICDCS
2006
IEEE
2006
IEEE
Scalable and Robust Aggregation Techniques for Extracting Statistical Information in Sensor Networks
16 years 1 months ago
Wireless sensor networks have stringent constraints on system resources and data aggregation techniques are critically important. However, accurate data aggregation is difficult ...
182
click to vote
ICMCS
2006
IEEE
16 years 29 days ago
2006
IEEE
In this paper, we present a speaker identification algorithm for a microphone array based on a first-order joint Hidden Markov Model (HMM) where the observations correspond to t...
171
click to vote
SRDS
2006
IEEE
16 years 28 days ago
2006
IEEE
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...
187
click to vote
SMA
2006
ACM
16 years 27 days ago
2006
ACM
We present an efficient colon flattening algorithm using conformal structure, which is angle-preserving and minimizes the global distortion. Moreover, our algorithm is general w...