Sciweavers

4255 search results - page 567 / 851
» Cover
Sort
View
RT
2001
Springer
15 years 11 months ago
Interactive Rendering of Trees with Shading and Shadows
The goal of this paper is the interactive rendering of 3D trees covering a landscape, with shading and shadows consistent with the lighting conditions. We propose a new IBR represe...
Alexandre Meyer, Fabrice Neyret, Pierre Poulin
RT
2001
Springer
15 years 11 months ago
Measuring the Perception of Visual Realism in Images
One of the main goals in realistic rendering is to generate images that are indistinguishable from photographs – but how do observers decide whether an image is photographic or c...
Paul Rademacher, Jed Lengyel, Edward Cutrell, Turn...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
15 years 11 months ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
VLDB
2001
ACM
121views Database» more  VLDB 2001»
15 years 11 months ago
Answering XML Queries on Heterogeneous Data Sources
ct Information Integration is among the most important fields in information management. The problem of integrating data from diverse, possibly heterogeneous data sources is ubiqu...
Ioana Manolescu, Daniela Florescu, Donald Kossmann
APSEC
2000
IEEE
15 years 11 months ago
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko