2425 search results - page 329 / 485 » An abstraction of the Lidar measurements |
166
click to vote
ISWC
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— This paper describes a feasibility study for a selfcontained, wearable full-body motion capture system based on time-of-flight measurements that provide absolute dista...
164
click to vote
NCA
2005
IEEE
16 years 2 days ago
2005
IEEE
Recent hardware advances are creating multi-core systems with heterogeneous functionality. This paper explores how applications and middleware can utilize systems comprised of pro...
149
click to vote
TIME
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
166
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
138
click to vote
MSWIM
2005
ACM
16 years 2 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...