8025 search results - page 502 / 1605 » Combinators Introduction: An Algorithm |
204
click to vote
LICS
1999
IEEE
16 years 28 min ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
171
click to vote
ICIP
1997
IEEE
15 years 12 months ago
1997
IEEE
Photographs and images often have regions which are in some sense flawed. Often, there may be a stain or an undesired feature covering a significant portion of the image, and an a...
202
click to vote
DAC
1996
ACM
15 years 12 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
172
click to vote
KDD
1997
ACM
15 years 12 months ago
1997
ACM
Animportantsuccessfactor for the field of KDDlies in the developmentand integration of methodsfor supporting the construction and execution of KDDprocesses. Crucial aspects in thi...
214
click to vote
PLDI
1989
ACM
15 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...