1686 search results - page 58 / 338 » Higher Order Deforestation |
101
click to vote
COMPGEOM
1994
ACM
15 years 4 months ago
1994
ACM
We give simple randomized incremental algorithms for computing the k-level in an arrangement of n lines in the plane or in an arrangement of n planes in R3. The expected running ti...
FPCA
1993
15 years 4 months ago
1993
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
PLILP
1993
Springer
15 years 4 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...