513 search results - page 66 / 103 » Operational and abstract semantics of the query language G-L... |
110
click to vote
WISE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
182
click to vote
VLDB
2003
ACM
15 years 11 months ago
2003
ACM
Abstract. The requirements for effective search and management of the WWW are stronger than ever. Currently Web documents are classified based on their content not taking into acco...
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...
108
click to vote
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
IIWAS
2004
15 years 15 days ago
2004
It is a fact that many XML query languages lack support for update operations. Those that have minimal support do not concern with preserving documents' constraints, and cons...