Sciweavers

1455 search results - page 101 / 291
» Programming in Logic with Constraints for Natural Language P...
Sort
View
POPL
2004
ACM
14 years 9 months ago
Incremental execution of transformation specifications
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen
ECOOP
1993
Springer
14 years 1 months ago
A Language Framework for Multi-Object Coordination
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
Svend Frølund, Gul Agha
ICGI
1998
Springer
14 years 1 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
EWNLG
1993
14 years 1 months ago
Generating Grammatical and Lexical Anaphora in Assembly Instructional Texts
In this paper, we discuss the problem of generating natural anaphora in assembly instructional texts. We rst present a detailed account of grammatical and lexical anaphora and we e...
Leila Kosseim, Agnès Tutin, Richard I. Kitt...
IR
2008
13 years 9 months ago
Efficient algorithms for pattern matching with general gaps, character classes, and transposition invariance
We develop efficient dynamic programming algorithms for pattern matching with general gaps and character classes. We consider patterns of the form p0g(a0, b0)p1g(a1, b1) . . . pm-1...
Kimmo Fredriksson, Szymon Grabowski