Sciweavers

171 search results - page 31 / 35
» Implicit Moment Invariants
Sort
View
BMVC
2001
13 years 10 months ago
A Buyer's Guide to Euclidean Elliptical Cylindrical and Conical Surface Fitting
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
Petko Faber, Robert B. Fisher
POPL
2001
ACM
14 years 7 months ago
Secure safe ambients
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
Michele Bugliesi, Giuseppe Castagna
CVPR
2010
IEEE
14 years 3 months ago
A New Texture Descriptor Using Multifractal Analysis in Multi-orientation Wavelet Pyramid
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
Yong Xu, Xiong Yang, Haibin Ling, Hui Ji
ESOP
2009
Springer
14 years 2 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
ICCVW
1999
Springer
13 years 11 months ago
Uncertainty Modeling for Optimal Structure from Motion
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
Daniel D. Morris, Ken-ichi Kanatani, Takeo Kanade