5164 search results - page 463 / 1033 » Consistency of the EKF-SLAM Algorithm |
163
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—Creating latency insensitive or asynchronous designs from clocked designs has potential benefits of increased modularity and robustness to variations. Several transformations h...
170
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
153
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The oscillator problem consists of determining good initial values for the node voltages and the frequency of oscillation and the avoidance of the DC solution. Standard approaches...
158
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
174
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents in detail an efficient and provably correct algorithm for database replication over partitionable networks. Our algorithm avoids the need for end-toend acknow...