5164 search results - page 856 / 1033 » Consistency of the EKF-SLAM Algorithm |
175
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
179
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
195
click to vote
HUMO
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach for recovering articulated body pose from single monocular images using the Specialized Mappings Architecture (SMA), a non-linear supervised learning archit...
175
click to vote
PADS
1998
ACM
15 years 10 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...
162
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
Java uses garbage collection (GC) for the automatic reclamation of computer memory no longer required by a running application. GC implementations for Java Virtual Machines (JVM) ...