9626 search results - page 109 / 1926 » Invariant Based Programming |
176
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
116
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
152
click to vote
ECML
2001
Springer
15 years 9 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...
140
click to vote
IROS
2009
IEEE
15 years 11 months 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...
170
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Dimensionality reduction is an essential aspect of visual processing. Traditionally, linear dimensionality reduction techniques such as principle components analysis have...