2799 search results - page 486 / 560 » computing 1998 |
TYPES
1998
Springer
14 years 2 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Semistructured data is not strictly typed like relational or object-oriented data and may be irregular or incomplete. It often arises in practice, e.g., when heterogeneous data so...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
An information retrieval IR engine can rank documents based on textual proximityof keywords within each document. In this paper we apply this notion to search across an entire dat...
WWCA
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...
HOPL
2007
14 years 2 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...