The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient construction of reliable systems, a structured approach to the definition of the behavior is needed. Here, functional modularization supports a separation of the overall functionality into individual functions as well as...

Each pottery specimen analyzed was selected on the basis of its potential to reveal information about taxonomic relationships, in addition to providing samples for chemical and mineral analyses. Preference was given to larger sherds with distinct temper and surface treatment characteristics. Table A.1 describes the provenience of the 70 samples. Table A.2 includes the paste and temper character...

Language descriptions are a multi-level issue. In particular, the de nition and handling of instantiation semantics connects three levels. This paper looks at two language workbenches without support for multi-level modelling and their handling of the multi-level part of language descriptions. From these observations, the importance of runtime instantiation in terms of an underlying machine is ...

It has long been known that knowledge based reasoning is a crucial component of natural language processing (NLP). Yet the complexity involved in representing and using knowledge efficiently has led most NLP work to focus on more tractable aspects of language such as syntax, prosody or semantic construction. The generation of definite descriptions (that is, noun phrases with a definite article ...

In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...

Georeferenced data sets are often large and complex. Natural Language Generation (NLG) systems are beginning to emerge that generate texts from such data. One of the challenges these systems face is the generation of geographic descriptions referring to the location of events or patterns in the data. Based on our studies in the domain of meteorology we present a two staged approach to generatin...

Abstract Complex protocols describing the communication or storage of binary data are di cult to describe precisely. This paper presents a collection of data types for describing a binary data formats; the corresponding parser and pretty printer are generated automatically from a data description. By embedding these data types in a general purpose dependently typed programming language, we can ...

We report on initial experiments with an implemented learning system whose inputs are images of two-dimensional shapes. The system first builds semantic network shape descriptions based on Brady's smoothed local symmetry representation. It learns shape models from them using a modified version of Winston's ANALOGY program. The learning program uses only positive examples, and is capable of lear...

The AdS/CFT correspondence has long been used as a tool for understanding non-perturbative phenomena in gauge theories because it is an example of a 'strong-weak' duality: when one side of the duality is weakly coupled, the other is strongly coupled and vice-versa. Hence strongly coupled phenomena can be studied by looking at the weakly coupled side of the duality. In its original form the corr...