Sciweavers

2237 search results - page 188 / 448
» Storing information with extractors
Sort
View
VISUALIZATION
1999
IEEE
15 years 10 months ago
Volume Rendering Based Interactive Navigation within the Human Colon
We present an interactive navigation system for virtual colonoscopy, which is based solely on high performance volume rendering. Previous colonic navigation systems have employed ...
Ming Wan, Qingyu Tang, Arie E. Kaufman, Zhengrong ...
CGI
1998
IEEE
15 years 10 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 10 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
CARDIS
1998
Springer
109views Hardware» more  CARDIS 1998»
15 years 10 months ago
The Vault, an Architecture for Smartcards to Gain Infinite Memory
Smartcard chips vendors have always done their best to embed more memory inside cards. These efforts are driven to allow their customers smartcard manufacturers - to mask more soft...
Patrick Biget
RTSS
1997
IEEE
15 years 10 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine