Sciweavers

4650 search results - page 46 / 930
» Generating and evaluating evaluative arguments
Sort
View
PLDI
1996
ACM
14 years 29 days ago
Realistic Compilation by Partial Evaluation
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
Michael Sperber, Peter Thiemann

Publication
108views
13 years 10 months ago
A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
Sergei A. Romanenko
ITS
2010
Springer
134views Multimedia» more  ITS 2010»
14 years 24 days ago
Learning to Argue Using Computers - A View from Teachers, Researchers, and System Developers
The ability to argue is essential in many aspects of life, but traditional face-to-face tutoring approaches do not scale up well. A solution for this dilemma may be computer-suppor...
Frank Loll, Oliver Scheuer, Bruce M. McLaren, Niel...
ANLP
2000
87views more  ANLP 2000»
13 years 10 months ago
Using Semantic Preferences to Identify Verbal Participation in Role Switching Alternations
We propose a method for identifying diathesis alternations where a particular argument type is seen in slots which have different grammatical roles in the alternating forms. The m...
Diana McCarthy
EACL
2006
ACL Anthology
13 years 10 months ago
Comparing Automatic and Human Evaluation of NLG Systems
We consider the evaluation problem in Natural Language Generation (NLG) and present results for evaluating several NLG systems with similar functionality, including a knowledge-ba...
Anja Belz, Ehud Reiter