453 search results - page 73 / 91 » Geometric logic as a Specification Language |
101
click to vote
AAAI
1990
15 years 27 days ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
116
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
179
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
PODS
2007
ACM
15 years 12 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
83
Voted
PODS
2008
ACM
15 years 12 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...