5164 search results - page 463 / 1033 » Consistency of the EKF-SLAM Algorithm |
182
Voted
DATE
2010
IEEE
16 years 23 days 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...
191
Voted
DATE
2002
IEEE
16 years 19 days 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...
177
Voted
DATE
2002
IEEE
16 years 19 days 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...
178
Voted
EUROMICRO
2002
IEEE
16 years 19 days 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...
195
Voted
ICDCS
2002
IEEE
16 years 19 days 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...