Sciweavers

5210 search results - page 417 / 1042
» Exact geometric computation
Sort
View
162
Voted
PG
2003
IEEE
16 years 4 days ago
Interactive Visualization of Complex Real-World Light Sources
Interactive visualization of complex, real-world light sources has so far not been feasible. In this paper, we present an hardware accelerated direct lighting algorithm based on a...
Xavier Granier, Michael Goesele, Wolfgang Heidrich...
MICRO
1999
IEEE
100views Hardware» more  MICRO 1999»
15 years 11 months ago
A Superscalar 3D Graphics Engine
3D graphics performance is increasing faster than any other computing application. Almost all PC systems now include 3D graphics accelerators for games, CAD, or visualization appl...
Andrew Wolfe, Derek B. Noonburg
TACAS
1999
Springer
91views Algorithms» more  TACAS 1999»
15 years 11 months ago
Timed Diagnostics for Reachability Properties
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
Stavros Tripakis
IBPRIA
2007
Springer
15 years 10 months ago
Efficiently Downdating, Composing and Splitting Singular Value Decompositions Preserving the Mean Information
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
Javier Melenchón, Elisa Martínez
ESA
2006
Springer
105views Algorithms» more  ESA 2006»
15 years 10 months ago
Dynamic Programming and Fast Matrix Multiplication
Abstract. We give a novel general approach for solving NP-hard optimization problems that combines dynamic programming and fast matrix multiplication. The technique is based on red...
Frederic Dorn