3162 search results - page 146 / 633 » Transformations for semi-continuous data |
135
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
132
click to vote
LISP
2008
15 years 4 months ago
2008
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequ...
125
click to vote
PAMI
2008
15 years 4 months ago
2008
Image registration consists in estimating geometric and photometric transformations that align two images as best as possible. The direct approach consists in minimizing the discr...
145
click to vote
DILS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an extensible architecture that can be used to support the integration of heterogeneous biological data sets. In our architecture, a clustering approach has bee...
149
click to vote
TMI
1998
15 years 4 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...