3162 search results - page 196 / 633 » Transformations for semi-continuous data |
133
Voted
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
We consider the estimation of an unknown arbitrary 2D object shape from sparse noisy samples of its Fourier transform. The estimate of the closed boundarycurve is parametrized by ...
142
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
168
Voted
SMI
2006
IEEE
15 years 11 months ago
2006
IEEE
Surface matching is a common task in computer graphics and computer vision. In this paper, we introduce a novel algorithm that aligns scanned point-based surfaces to the related 3...
157
click to vote
ASPDAC
1999
ACM
15 years 9 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
160
Voted
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...