Sciweavers

847 search results - page 86 / 170
» An Algebra for Features and Feature Composition
Sort
View
COLING
1990
13 years 10 months ago
The Generation Of High-Level Structure For Extended Explanations
2 This paper analyzes the structural features of naturally-occurring extended explanations and argues that current generation methodologies are inadequate for determining high-leve...
David J. Mooney, Sandra Carberry, Kathleen F. McCo...
CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 9 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
CORR
2008
Springer
90views Education» more  CORR 2008»
13 years 9 months ago
On characterising strong bisimilarity in a fragment of CCS with replication
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
Daniel Hirschkoff, Damien Pous
NAACL
2010
13 years 6 months ago
Why Synchronous Tree Substitution Grammars?
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
Andreas Maletti
SOCO
2007
Springer
14 years 3 months ago
Debugging Aspect-Enabled Programs
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
Marc Eaddy, Alfred V. Aho, Weiping Hu, Paddy McDon...