18155 search results - page 301 / 3631 » Point |
191
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
151
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...
171
click to vote
COMPGEOM
1996
ACM
15 years 11 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
161
click to vote
ICFP
1996
ACM
15 years 11 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
156
Voted
PLDI
1996
ACM
15 years 11 months ago
1996
ACM