2145 search results - page 176 / 429 » Pattern-Based Query Answering |
125
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
123
click to vote
PDIS
1994
IEEE
15 years 6 months ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
131
click to vote
ISMIS
2000
Springer
15 years 6 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
144
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
113
click to vote
CATA
2003
15 years 3 months ago
2003
Visualization research seeks to exploit the human user’s ability to interpret graphical representations of data in order to provide insight into properties of the data that may ...