1195 search results - page 73 / 239 » Modeling an Algebraic Stepper |
181
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
169
click to vote
ICDE
1994
IEEE
15 years 10 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
165
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a new affine registration algorithm
for matching two point sets in IR2 or IR3. The input point
sets are represented as probability density functions, using
e...
193
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registrat...
167
click to vote
COSIT
2009
Springer
16 years 26 days ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...