Sciweavers

650 search results - page 87 / 130
» Challenges in Natural Language Processing: The Case of Metap...
Sort
View
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
13 years 11 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
INLG
2004
Springer
14 years 1 months ago
Resolving Structural Ambiguity in Generated Speech
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...
Chris Mellish
SAM
2004
98views Hardware» more  SAM 2004»
13 years 9 months ago
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Bill Mitchell, Robert Thomson, Paul Bristow
SEMCO
2008
IEEE
14 years 2 months ago
Semantic Search Meets the Web
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...
Miriam Fernández, Vanessa Lopez, Marta Sabo...
NLDB
2007
Springer
14 years 1 months ago
DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
Óscar Ferrández, Daniel Micol, Rafae...