Sciweavers

4355 search results - page 255 / 871
» From Interpretation to Compilation
Sort
View
UM
2005
Springer
16 years 3 days ago
Modeling Suppositions in Users' Arguments
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
Sarah George, Ingrid Zukerman, Michael Niemann
ESOP
1999
Springer
15 years 11 months ago
Interprocedural Control Flow Analysis
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
Flemming Nielson, Hanne Riis Nielson
SPIEVIP
2008
15 years 9 months ago
Analysis of the general image quality equation
The general image quality equation (GIQE) [Leachtenauer et al., Appl. Opt. 36, 8322-8328 (1997)] is an empirical formula for predicting the quality of imagery from a given incoher...
Samuel T. Thurman, James R. Fienup
CSREAESA
2004
15 years 8 months ago
Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
Diarmuid O'Donoghue, James F. Power
EMNLP
2006
15 years 8 months ago
Detecting Parser Errors Using Web-based Semantic Filters
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...
Alexander Yates, Stefan Schoenmackers, Oren Etzion...