5164 search results - page 603 / 1033 » Consistency of the EKF-SLAM Algorithm |
177
click to vote
ITC
2003
IEEE
16 years 15 days ago
2003
IEEE
Today’s ASIC designs consist of more memory in terms of both area and number of instances. The shrinking of geometries has an even greater effect upon memories due to their tigh...
149
click to vote
KBSE
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper describes a novel methodology for predicting fault prone modules. The methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three step...
187
click to vote
MEMOCODE
2003
IEEE
16 years 15 days ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
174
click to vote
PADS
2003
ACM
16 years 14 days ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
192
click to vote
APN
2003
Springer
16 years 13 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...