Sciweavers

2272 search results - page 5 / 455
» Validity Invariants and Effects
Sort
View
ICCV
2005
IEEE
14 years 1 months ago
Features for Recognition: Viewpoint Invariance for Non-Planar Scenes
We present a technique for local image representation that is invariant to viewpoint for scenes with arbitrary non-planar shape. We show that generic viewpoint invariance can be a...
Andrea Vedaldi, Stefano Soatto
ENTCS
2006
145views more  ENTCS 2006»
13 years 7 months ago
Cooperation-based Invariants for OO Languages
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
14 years 1 months ago
Boosting the role of inductive invariants in model checking
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
FLAIRS
1998
13 years 8 months ago
Investigating the Validity of a Test Case Selection Methodology for Expert System Validation
Providing assurances of performance is an important aspect of successful development and commercialization of expert systems. However, this can only be done if the quality of the ...
Jan-Eike Michels, Thomas Abel, Rainer Knauf, Aveli...
CVPR
2004
IEEE
14 years 9 months ago
Invariant Operators, Small Samples, and the Bias-Variance Dilemma
Invariant features or operators are often used to shield the recognition process from the effect of "nuisance" parameters, such as rotations, foreshortening, or illumina...
Xiaojin Shi, Roberto Manduchi