816 search results - page 118 / 164 » Abstract Barycentric Algebras |
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
DOOD
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
105
click to vote
DIAGRAMS
2010
Springer
15 years 3 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...