490 search results - page 32 / 98 » Automated Generalization of Translation Examples |
118
Voted
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
120
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
104
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
113
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
92
Voted
ACMSE
2010
ACM
14 years 10 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...