We adapt the TreeRePair tree compression algorithm and use it as an intermediate step in proving termination of term rewriting systems. We introduce a cost function that approximates the size of constraint systems that specify compatibility of matrix interpretations. We show how to integrate the compression algorithm with the Dependency Pairs transformation. Experiments show that compression re...

Based on ethnographic studies of two business-to-business (B2B) electronic commerce (EC) marketplaces and a review of interorganizational relationship literature, this paper proposes a model explaining why organizations form alliances to create and why organizations join B2B EC marketplaces. This paper proposes viewing B2B EC marketplaces as a public good. The paper uses public good theory as a...

The survey formed one part of a three part study funded by the Department of Health which was designed to examine a wide range of issues associated with the current patterns of use of residential and nursing home care for elderly people. The principal aims of the survey were to provide a baseline description of the current population of homes, and to explore the relationship between the cost or...

The computing cost of many NLP tasks increases faster than linearly with the length of the representation of a sentence. For parsing the representation is tokens, while for operations on syntax and semantics it will be more complex. In this paper we propose a new task of sentence chunking: splitting sentence representations into coherent substructures. Its aim is to make further processing of l...

Object relative clauses (as in 1b) are more difficult to process than subject relative clauses (1a) (King and Just, 1991). Dependency Locality Theory (DLT; Gibson, 2000) accounts for this effect in terms of long-distance dependencies: The integration cost at in (1a) is lower than at in (1b) because just one argument () needs to be integrated in (1a), whereas in (1b), two arguments (chairman and...

The use of polymer coated surface acoustic wave (SAW) sensor arrays is a very promising technique for highly sensitive and selective detection of volatile organic compounds (VOCs). We present new developments to achieve a low cost sensor setup with a sampling method enabling the highly reproducible detection of volatiles even in the ppb range. Since the VOCs of coffee are well known by gas chro...

We propose a new approach for the parallel execution of production system programs. This approach embodies methods of decomposition abstraction using declarative mechanisms. Application semantics can then be exploited to achieve a much higher degree of concurrency. In this paper we present the underlying object-based framework of production systems and discuss the ensuing semantic-based depende...