Sciweavers

315 search results - page 4 / 63
» Using Logic in the Generation of Referring Expressions
Sort
View
INLG
2010
Springer
14 years 7 months ago
Natural Reference to Objects in a Visual Domain
This paper discusses the basic structures necessary for the generation of reference to objects in a visual scene. We construct a study designed to elicit naturalistic referring ex...
Margaret Mitchell, Kees van Deemter, Ehud Reiter
INLG
2010
Springer
14 years 7 months ago
Towards an Extrinsic Evaluation of Referring Expressions in Situated Dialogs
In the field of referring expression generation, while in the static domain both intrinsic and extrinsic evaluations have been considered, extrinsic evaluation in the dynamic doma...
Philipp Spanger, Ryu Iida, Takenobu Tokunaga, Asuk...
FOSSACS
2007
Springer
15 years 3 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
VMCAI
2010
Springer
15 years 6 months ago
Shape Analysis with Reference Set Relations
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...
ACL
1994
14 years 10 months ago
Generating Precondition Expressions in Instructional Text
This study employs a knowledge intensive corpus analysis to identify the elements of the communicative context which can be used to determine the appropriate lexical and grammatic...
Keith Vander Linden