7167 search results - page 71 / 1434 » A Technique for Invariant Generation |
175
click to vote
ECML
2001
Springer
15 years 10 months ago
2001
Springer
In many applications, modelling techniques are necessary which take into account the inherent variability of given data. In this paper, we present an approach to model class speciļ...
179
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Interpolation is an important technique in veriļ¬cation and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
154
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
ā A fast and robust method for visual odometry based on the Fourier-Mellin Invariant (FMI) descriptor is presented. It extends previous FMI based approaches in two ways. First, a...
169
click to vote
RAS
2006
15 years 6 months ago
2006
The Scale Invariant Feature Transform, SIFT, has been successfully applied to robot localization. Still, the number of features extracted with this approach is immense, especially...
163
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
In this paper, we present a novel method for intra-operative registration directly from monocular endoscopic images. This technique has the potential to provide a more accurate su...