2841 search results - page 100 / 569 » A Call to Order |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...
AMAI
2006
Springer
14 years 10 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
14 years 10 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
DM
2006
14 years 10 months ago
2006
Let n be a positive integer. A tournament is called n-existentially closed (or n-e.c.) if for every subset S of n vertices and for every subset T of S, there is a vertex x / S whi...
IIE
2006
14 years 10 months ago
2006
We present a collaborative learning tool for programming, Jeliot Collaboratively or JeCo. Jeliot Collaboratively is a combination of a program visualization tool for Java programs,...