9626 search results - page 91 / 1926 » Invariant Based Programming |
133
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we propose a method to extract features from three-dimensional acceleration signals. The proposed method is based on the (auto-)correlation matrix of Fourier transf...
175
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
230
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
175
click to vote
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
We present a novel approach for analyzing two-dimensional (2D) flow field data based on the idea of invariant moments. Moment invariants have traditionally been used in computer vi...
190
click to vote
CVPR
2009
IEEE
16 years 12 months ago
2009
IEEE
All surfaces can be classified by the conformal equivalence
relation. Conformal invariants, which are shape indices
that can be defined intrinsically on a surface, may
be used t...