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...
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...
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...
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...
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...