365 search results - page 45 / 73 » Program Generation in the Equivalent Transformation Computat... |
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
We propose a non-parametric texture modeling and synthesis technique based on the integer version of the Discrete Wavelet Transform (DWT). The successive levels of the DWT pyramid...
CAV
2001
Springer
14 years 6 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Object pose may be determined from a set of 2D image points and corresponding 3D model points, given the camera's intrinsic parameters. In this paper, two new exterior orient...
SI3D
2003
ACM
14 years 28 days ago
2003
ACM
This paper describes shear-image order ray casting, a new method for volume rendering. This method renders sampled data in three dimensions with image quality equivalent to the be...
BMCBI
2008
13 years 7 months ago
2008
Background: Testing for selection is becoming one of the most important steps in the analysis of multilocus population genetics data sets. Existing applications are difficult to u...