LOPSTR
2000
Springer
15 years 7 months ago
2000
Springer
157
click to vote
LOPSTR
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
130
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
132
click to vote
LCTRTS
2000
Springer
15 years 7 months ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...