2373 search results - page 381 / 475 » On the Theory of Structural Subtyping |
179
click to vote
PDIS
1996
IEEE
15 years 10 months ago
1996
IEEE
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
217
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
197
click to vote
DL
1994
Springer
15 years 10 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
190
click to vote
EWNLG
1993
15 years 10 months ago
1993
Abstract. An active research programme in Natural Language Generation has grown up around the notion of `coherence relations'. Relations are being used in a variety of roles i...
145
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...