681 search results - page 57 / 137 » Combining Theorem Proving with Natural Language Processing |
PODS
2008
ACM
15 years 10 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
EACL
2009
ACL Anthology
15 years 10 months ago
2009
ACL Anthology
Handling terminology is an important matter in a translation workflow. However, current Machine Translation (MT) systems do not yet propose anything proactive upon tools which ass...
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
UML
2005
Springer
15 years 3 months ago
2005
Springer
As model-driven development promotes metamodels as key assets it raises the issue of their reuse throughout a model-driven product line life cycle. One recurrent reuse need occurs ...