83 search results - page 4 / 17 » Some Basic Tenets of Description |
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
IADIS
2003
13 years 8 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
CGI
1998
IEEE
13 years 11 months ago
1998
IEEE
We present an algorithm for the reconstruction of a surface from an unorganized set of points in space. The point data may be obtained from a laser range scanner or any other digi...
DATESO
2004
13 years 8 months ago
2004
This paper is concerned with storing XML data in a native repository suitable for querying with modern languages such as XPath or XQuery. It contains a description of the experimen...
APCCM
2007
13 years 8 months ago
2007
An input to the conceptual database design phase contains a description of the target database. This description is usually given in some natural language, for instance in English...