Sciweavers

4353 search results - page 749 / 871
» Expressiveness of Process Algebras
Sort
View
WSCG
2004
160views more  WSCG 2004»
14 years 11 months ago
Real-Time Rendering of 3D Magic Lenses having arbitrary convex Shapes
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...
Timo Ropinski, Klaus Hinrichs
SERP
2003
14 years 11 months ago
Polymorphism in Object-Oriented Contract Verification
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
Isabel Nunes
DMDW
2000
151views Management» more  DMDW 2000»
14 years 11 months ago
Automated dimensionality reduction of data warehouses
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
Mark Last, Oded Maimon
RIAO
2000
14 years 11 months ago
Statistical motion-based video indexing and retrieval
We propose an original approach for the characterization of video dynamic content with a view to supplying new functionalities for motion-based video indexing and retrieval with q...
Ronan Fablet, Patrick Bouthemy, P. Perez
ISMB
1997
14 years 11 months ago
SEALS: A System for Easy Analysis of Lots of Sequences
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
D. Roland Walker, Eugene V. Koonin