Sciweavers

4850 search results - page 149 / 970
» Proof and Computation in Geometry
Sort
View
CGF
2008
138views more  CGF 2008»
15 years 6 months ago
Geometry-Aware Framebuffer Level of Detail
This paper introduces a framebuffer level of detail algorithm for controlling the pixel workload in an interactive rendering application. Our basic strategy is to evaluate the sha...
Lei Yang, Pedro V. Sander, Jason Lawrence
CVIU
2006
142views more  CVIU 2006»
15 years 6 months ago
Robust target detection and tracking through integration of motion, color, and geometry
Vision-based tracking is a basic elementary task in many computer vision-based applications such as video surveillance and monitoring, sensing and navigation in robotics, video co...
Harini Veeraraghavan, Paul R. Schrater, Nikolaos P...
JMM2
2007
113views more  JMM2 2007»
15 years 6 months ago
Shape Morphing of Complex Geometries Using Partial Differential Equations
— An alternative technique for shape morphing using a surface generating method using partial differential equations is outlined throughout this work. The boundaryvalue nature th...
Gabriela González Castro, Hassan Ugail
ACG
2009
Springer
16 years 1 months ago
Randomized Parallel Proof-Number Search
Jahn-Takeshi Saito, Mark H. M. Winands, H. Jaap va...
FOCS
2000
IEEE
15 years 11 months ago
Pseudorandom Generators in Propositional Proof Complexity
Michael Alekhnovich, Eli Ben-Sasson, Alexander A. ...