Sciweavers

171 search results - page 31 / 35
» Implicit Moment Invariants
Sort
View
BMVC
2001
14 years 12 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
15 years 9 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
15 years 5 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
15 years 4 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
15 years 1 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