Sciweavers

1018 search results - page 93 / 204
» Property Testing in Computational Geometry
Sort
View
SIGGRAPH
1999
ACM
14 years 2 months ago
Skin: A Constructive Approach to Modeling Free-Form Shapes
We present a new particle-based surface representation with which a user can interactively sculpt free-form surfaces. The particles maintain mesh connectivity and operate under ru...
Lee Markosian, Jonathan M. Cohen, Thomas Crulli, J...
GRAPHITE
2007
ACM
14 years 1 months ago
A shape hierarchy for 3D modelling from video
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...
Anton van den Hengel, Anthony R. Dick, Thorsten Th...
3DOR
2008
14 years 12 days ago
Isometry-invariant Matching of Point Set Surfaces
Shape deformations preserving the intrinsic properties of a surface are called isometries. An isometry deforms a surface without tearing or stretching it, and preserves geodesic d...
Mauro R. Ruggeri, Dietmar Saupe
BMCBI
2006
123views more  BMCBI 2006»
13 years 10 months ago
Computational models with thermodynamic and composition features improve siRNA design
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
Svetlana A. Shabalina, Alexey N. Spiridonov, Aleks...
AI
2005
Springer
13 years 10 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf