Sciweavers

4008 search results - page 285 / 802
» An expressive language of signatures
Sort
View
NLPRS
2001
Springer
15 years 11 months ago
Sentence Extraction by Questioning
This paper presents a sentence extraction method based on Concept Coupling Model, a language model for handling natural language sentence structures. Sentence extraction is perfor...
Zenshiro Kawasaki, Keiji Shibata, Masato Tajima
ECOOP
2000
Springer
15 years 11 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
PLDI
1997
ACM
15 years 11 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
15 years 11 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
ATAL
1995
Springer
15 years 10 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge