Sciweavers

4211 search results - page 767 / 843
» A formal approach to MASQ
Sort
View
TVCG
2008
95views more  TVCG 2008»
15 years 6 months ago
A Taxonomy of 3D Occlusion Management for Visualization
While an important factor in depth perception, the occlusion effect in 3D environments also has a detrimental impact on tasks involving discovery, access, and spatial relation of o...
Niklas Elmqvist, Philippas Tsigas
TVLSI
2008
151views more  TVLSI 2008»
15 years 6 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
CAGD
2004
141views more  CAGD 2004»
15 years 6 months ago
Almost rotation-minimizing rational parametrization of canal surfaces
Almost rotation minimizing parametrization of the canal surface is given. The basic building block of our approach is the curve approximation scheme that enables us to construct a...
Hyeong In Choi, Song-Hwa Kwon, Nam-Sook Wee
ECCV
2004
Springer
16 years 8 months ago
A Robust Algorithm for Characterizing Anisotropic Local Structures
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
Kazunori Okada, Dorin Comaniciu, Navneet Dalal, Ar...
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
16 years 7 months ago
Scalable Peer-to-Peer Web Retrieval with Highly Discriminative Keys
The suitability of Peer-to-Peer (P2P) approaches for fulltext web retrieval has recently been questioned because of the claimed unacceptable bandwidth consumption induced by retri...
Ivana Podnar, Martin Rajman, Toan Luu, Fabius Klem...