139 search results - page 17 / 28 » Modeling the invisible college |
SIGGRAPH
1997
ACM
14 years 2 months ago
1997
ACM
Virtual colonoscopy is a non-invasive computerized medical procedure for examining the entire colon to detect polyps. We present an interactive virtual colonoscopy method, which u...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
ICAT
2006
IEEE
14 years 3 months ago
2006
IEEE
Recently, various AR-based product design methodologies have been introduced. In this paper, we propose technologies for enhancing the immersive realization of virtual objects, whe...
IV
1999
IEEE
14 years 2 months ago
1999
IEEE
The aim of occlusion culling is to cull away a significant amount of invisible primitives at different viewpoints. We present two algorithms to improve occlusion culling for a hig...
ICS
1999
Tsinghua U.
14 years 2 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....