Sciweavers

99 search results - page 16 / 20
» On the exact computation of the topology of real algebraic c...
Sort
View
TPHOL
2007
IEEE
14 years 1 months ago
Verifying Nonlinear Real Formulas Via Sums of Squares
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
John Harrison
ECCV
2004
Springer
14 years 8 months ago
Evaluation of Robust Fitting Based Detection
Low-level image processing algorithms generally provide noisy features that are far from being Gaussian. Medium-level tasks such as object detection must therefore be robust to out...
Sio-Song Ieng, Jean-Philippe Tarel, Pierre Charbon...
SIGGRAPH
2000
ACM
13 years 12 months ago
Illustrating smooth surfaces
We present a new set of algorithms for line-art rendering of smooth surfaces. We introduce an efficient, deterministic algorithm for finding silhouettes based on geometric duali...
Aaron Hertzmann, Denis Zorin
ICCV
1999
IEEE
13 years 11 months ago
Geodesic Active Regions for Supervised Texture Segmentation
This paper presents a novel variational method for supervised texture segmentation. The textured feature space is generated by filtering the given textured images using isotropic ...
Nikos Paragios, Rachid Deriche
MMMACNS
2005
Springer
14 years 29 days ago
Networks, Markov Lie Monoids, and Generalized Entropy
The continuous general linear group in n dimensions can be decomposed into two Lie groups: (1) an n(n-1) dimensional ‘Markov type’ Lie group that is defined by preserving the ...
Joseph E. Johnson