Sciweavers

439 search results - page 28 / 88
» Efficient stereo-to-multiview synthesis
Sort
View
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
13 years 8 months ago
Reduction of interpolants for logic synthesis
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
John D. Backes, Marc D. Riedel
VMV
2001
112views Visualization» more  VMV 2001»
13 years 11 months ago
Generation of Decomposition Hierarchies for Efficient Occlusion Culling of Large Polygonal Models
Efficient handling of large polygonal scenes has always been a challenging task and in recent years, view-frustum and occlusion culling have drawn a lot of attention for accomplis...
Michael Meißner, Dirk Bartz, Gordon Mül...
CGF
2002
129views more  CGF 2002»
13 years 10 months ago
Efficient Multidimensional Sampling
Image synthesis often requires the Monte Carlo estimation of integrals. Based on a generalized concept of stratification we present an efficient sampling scheme that consistently ...
Thomas Kollig, Alexander Keller
CGF
2008
182views more  CGF 2008»
13 years 10 months ago
Lazy Solid Texture Synthesis
Existing solid texture synthesis algorithms generate a full volume of color content from a set of 2D example images. We introduce a new algorithm with the unique ability to restri...
Yue Dong, Sylvain Lefebvre, Xin Tong, George Drett...
IESS
2007
Springer
110views Hardware» more  IESS 2007»
14 years 4 months ago
Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
Karsten Albers, Frank Bodmann, Frank Slomka