Sciweavers

1637 search results - page 129 / 328
» Superimposing dynamic range
Sort
View
3DIM
2001
IEEE
15 years 7 months ago
Stroboscopic Stereo Rangefinder
The Michelangelo dynamic 3D scanner uses stereo rangefinding along with strobe illumination to capture 3D information at 25 frames per second. The configuration allows rapid motio...
Jean-Christophe Nebel, Francisco J. Rodrígu...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 7 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
127
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 6 months ago
Communications in cellular automata
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...
Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapap...
ICAI
2003
15 years 5 months ago
A Secure Agent Architecture for Sensor Networks
Advances in sensor and wireless technologies will enable thousands, or even millions of small but smart sensors to be deployed for a wide range of monitoring applications. The sen...
Zhaoyu Liu, Yongge Wang
137
Voted
VMV
2004
179views Visualization» more  VMV 2004»
15 years 5 months ago
High-Resolution Interactive Panoramas with MPEG-4
We present a system for the interactive navigation through high-resolution cylindrical panoramas. The system is based on MPEG-4 and describes the virtual world by the scene descri...
Peter Eisert, Yong Guo, Anke Riechers, Jürgen...