Sciweavers

6016 search results - page 330 / 1204
» The semantics of graphical languages
Sort
View
209
Voted
ICGI
1998
Springer
15 years 11 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier
AMAST
2006
Springer
15 years 10 months ago
The Essence of Multitasking
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
William L. Harrison
EMNLP
2010
15 years 4 months ago
PEM: A Paraphrase Evaluation Metric Exploiting Parallel Texts
We present PEM, the first fully automatic metric to evaluate the quality of paraphrases, and consequently, that of paraphrase generation systems. Our metric is based on three crit...
Chang Liu, Daniel Dahlmeier, Hwee Tou Ng
POPL
2010
ACM
16 years 4 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
IUI
2003
ACM
16 years 17 hour ago
Towards a theory of natural language interfaces to databases
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
Ana-Maria Popescu, Oren Etzioni, Henry A. Kautz