1626 search results - page 107 / 326 » Subtyping with Power Types |
130
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
163
click to vote
RWEB
2005
Springer
15 years 9 months ago
2005
Springer
A number of techniques have been developed to facilitate powerful data retrieval on the Web and Semantic Web. Three categories of Web query languages can be distinguished, accordin...
121
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Adaptive multiagent algorithms based upon the behaviour of social insects are powerful decentralised systems capable of solving complex problems. The intelligence of such a system ...
122
Voted
HLK
2003
IEEE
15 years 9 months ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
173
click to vote
ICDT
2001
ACM
15 years 8 months ago
2001
ACM
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...