3573 search results - page 500 / 715 » Reasoning about Codata |
146
click to vote
CANPC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Modern networks of workstations connected by Gigabit networks have the ability to run high-performance computing applications at a reasonable performance, but at a signi ...
150
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
137
click to vote
SIGIR
1998
ACM
15 years 9 months ago
1998
ACM
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
171
click to vote
SIGMOD
1998
ACM
15 years 9 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
141
click to vote
ICCS
1998
Springer
15 years 9 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...