Sciweavers

4903 search results - page 391 / 981
» The Set Covering Machine
Sort
View
VR
1999
IEEE
112views Virtual Reality» more  VR 1999»
15 years 12 months ago
Third-Person Navigation of Whole-Planet Terrain in a Head-tracked Stereoscopic Environment
Navigation and interaction in virtual environments that use stereoscopic head-tracked displays and have very large data sets present several challenges beyond those encountered wi...
Zachary Wartell, William Ribarsky, Larry F. Hodges
MICCAI
1999
Springer
15 years 12 months ago
Rendering the Unfolded Cerebral Cortex
Classical volume rendering is computed by casting a bundle of parallel rays from a flat viewing plane onto the volume data set, and produces as such a spatially limited view of the...
Junfeng Guo, Ioan Alexandru Salomie, Rudi Deklerck...
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
15 years 11 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
ICCAD
1992
IEEE
148views Hardware» more  ICCAD 1992»
15 years 11 months ago
McPOWER: a Monte Carlo approach to power estimation
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
Richard Burch, Farid N. Najm, Ping Yang, Timothy N...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 11 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...