2776 search results - page 103 / 556 » System-Level Abstraction Semantics |
123
click to vote
FSTTCS
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
120
click to vote
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substan...
133
Voted
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we present an approach for classifying documents based on the notion of a semantic similarity and the effective representation of the content of the docume...
122
Voted
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
140
click to vote
BXML
2003
15 years 5 months ago
2003
Abstract: The goal of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic queryi...