7167 search results - page 20 / 1434 » A Technique for Invariant Generation |
76
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
We present here an approach for applying the technique of modeling data transformation manifolds for invariant learning with kernel methods. The approach is based on building a ke...
65
Voted
ICCV
2005
IEEE
15 years 3 months ago
2005
IEEE
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...
102
click to vote
CAIP
1999
Springer
15 years 2 months ago
1999
Springer
A technique for a zoom lens camera is presented that enable to update continuously camera intrinsic parameters while zooming. This is based on the fact that the spatial angle subte...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...