Sciweavers

6104 search results - page 1162 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
SIGGRAPH
1998
ACM
15 years 4 months ago
A Non-photorealistic Lighting Model for Automatic Technical Illustration
Phong-shaded 3D imagery does not provide geometric information of the same richness as human-drawn technical illustrations. A non-photorealistic lighting model is presented that a...
Amy Gooch, Bruce Gooch, Peter Shirley, Elaine Cohe...
VISUALIZATION
1997
IEEE
15 years 4 months ago
The VSBUFFER: visibility ordering of unstructured volume primitives by polygon drawing
Different techniques have been proposed for rendering volumetric scalar data sets. Usually these approaches are focusing on orthogonal cartesian grids, but in the last years resea...
Rüdiger Westermann, Thomas Ertl
VTS
1997
IEEE
86views Hardware» more  VTS 1997»
15 years 4 months ago
Incremental logic rectification
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng
DEXA
2004
Springer
159views Database» more  DEXA 2004»
15 years 3 months ago
Adaptive Double Routing Indices: Combining Effectiveness and Efficiency in P2P Systems
Unstructured peer-to-peer systems rely on strategies and data structures (Routing Indices) for the routing of requests in the network. For those requests corresponding to informati...
Stéphane Bressan, Achmad Nizar Hidayanto, C...
HYBRID
2000
Springer
15 years 3 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
« Prev « First page 1162 / 1221 Last » Next »