6201 search results - page 95 / 1241 » Implementation of Axiomatic Language |
124
click to vote
APAL
2002
15 years 3 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
146
click to vote
XSYM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
108
click to vote
LAWEB
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach for building text visualizations that avoids using plug-ins or clients based on languages like Java. Instead we propose to make the search engine applicatio...
135
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
100
click to vote
ELPUB
1999
ACM
15 years 8 months ago
1999
ACM
The Scholarly Link Specification (S-Link-S) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...