Sciweavers

2312 search results - page 59 / 463
» Invariance in Property Testing
Sort
View
IJON
2011
91views more  IJON 2011»
13 years 4 months ago
Asymptotic properties of mixture-of-experts models
The statistical properties of the likelihood ratio test statistic (LRTS) for mixture-of-expert models are addressed in this paper. This question is essential when estimating the nu...
Madalina Olteanu, Joseph Rynkiewicz
CAV
2009
Springer
137views Hardware» more  CAV 2009»
14 years 10 months ago
VS3: SMT Solvers for Program Verification
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
DSSCV
2005
Springer
14 years 3 months ago
Using Top-Points as Interest Points for Image Matching
We consider the use of so-called top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offse...
Bram Platel, Evguenia Balmachnova, Luc Florack, Fr...
ICPR
2008
IEEE
14 years 11 months ago
Multi-cue collaborative kernel tracking with cross ratio invariant constraint
In this paper, a novel multi-cue collaborative kernel tracking algorithm is proposed. A new constraint based on the property of cross ratio invariant enables tracking of objects i...
Hanqing Lu, Jian Cheng, Lili Ma
BMVC
2000
13 years 11 months ago
Invariant Characterization of the Hough Transform for Pose Estimation of Arbitrary Shapes
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...
Alberto S. Aguado, Eugenia Montiel, Mark S. Nixon