3984 search results - page 340 / 797 » A Model-Driven Transformation Method |
178
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Traditional image mosaicing usually relies on rigid image transformations. In many medical applications, however, tissue deformation during image acquisition or 3D parallax effect...
195
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we use the cumulative distribution of a random variable to define the information content in it and use it to develop a novel measure of information that parallels S...
188
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
155
Voted
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
166
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...