Sciweavers

1317 search results - page 43 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
JSAT
2006
87views more  JSAT 2006»
14 years 10 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
JAMDS
2000
61views more  JAMDS 2000»
14 years 9 months ago
A coupling technique for stochastic comparison of functions of Markov Processes
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
M. Doisy
ICCV
2005
IEEE
15 years 12 months ago
Can Two Specular Pixels Calibrate Photometric Stereo?
Lambertian photometric stereo with unknown light source parameters is ambiguous. Provided that the object imaged constitutes a surface, the ambiguity is represented by the group o...
Ondrej Drbohlav, Mike J. Chantler
ICCS
2007
Springer
15 years 4 months ago
High Quality Surface Mesh Generation for Multi-physics Bio-medical Simulations
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
Dominik Szczerba, Robert H. P. McGregor, Gá...
SMI
2005
IEEE
15 years 3 months ago
Stochastic Microgeometry for Displacement Mapping
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...
Craig A. Schroeder, David E. Breen, Christopher D....