3836 search results - page 412 / 768 » Semantics of Database Transformations |
172
click to vote
ISEMANTICS
2010
15 years 8 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
198
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
194
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if ...
133
click to vote
COLING
2010
15 years 1 months ago
2010
Creating correct, semantic representations of questions is essential for applications that can use formal reasoning to answer them. However, even within a restricted domain, it is...
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...