Sciweavers

18209 search results - page 359 / 3642
» Some Remarks on the Paper
Sort
View
ACL
1992
15 years 8 months ago
Understanding Natural Language Instructions: The Case of Purpose Clauses
This paper presents an analysis of purpose clauses in the context of instruction understanding. Such analysis shows that goals affect the interpretation and / or execution of acti...
Barbara Di Eugenio
AAAI
1990
15 years 8 months ago
The Generalized Theory of Model Preference
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
Piotr Rychlik
ACL
1992
15 years 8 months ago
Prosodic Aids to Syntactic and Semantic Analysis of Spoken English
Prosody can be useful in resolving certain lexical and structural ambiguities in spoken English. In this paper we present some results of employing two types of prosodic informati...
Chris D. Rowles, Xiuming Huang
CADE
2010
Springer
15 years 8 months ago
Interpolation and Symbol Elimination in Vampire
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
Krystof Hoder, Laura Kovács, Andrei Voronko...
CCCG
2009
15 years 8 months ago
Slope Preserving Terrain Simplification - An Experimental Study
This paper introduces a new measure of quality for terrain surface simplification aiming at preserving the slope of the surface, as well as a new simplification algorithm which sa...
Ahmad Biniaz