3166 search results - page 284 / 634 » Translation By Structural Correspondences |
205
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
170
click to vote
KES
2005
Springer
16 years 6 days ago
2005
Springer
We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We is method to a corpus of 5000 Medline abstracts ab...
185
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
227
Voted
AMTA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
176
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...