9626 search results - page 76 / 1926 » Invariant Based Programming |
166
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
120
Voted
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We investigate the problem of learning optimal descriptors for a given classification task. Many hand-crafted descriptors have been proposed in the literature for measuring visua...
141
click to vote
ISSRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
144
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
An area based counterpart of the binary structural opening spectra is developed. It is shown that these area opening and closing spectra can be computed using an adaptation of Tar...
119
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
In this paper we develop results based on geometric mechanics to study the controllability of a class of controlled under-actuated left invariant mechanical systems on Lie groups....