242 search results - page 15 / 49 » Variable resolution triangulations |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
Coded structured light is an optical technique based on active stereovision that obtains the shape of objects. Oneshot techniques are based on projecting a unique light pattern wi...
CAMP
2005
IEEE
14 years 1 months ago
2005
IEEE
- The SVG (Scalable Vector Graphics) standard allows representing complex graphical scenes by a collection of graphic vectorial-based primitives, offering several advantages with r...
ICCS
2005
Springer
14 years 26 days ago
2005
Springer
We reconstruct pipe-shaped objects from a set of contours, each of which is extracted from an image representing a slice sampled from 3D volume data. The contours are formed by con...