5499 search results - page 209 / 1100 » Generalized Rewrite Theories |
160
click to vote
ENTCS
2008
15 years 7 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
180
click to vote
ENTCS
2006
15 years 7 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
173
click to vote
ACS
2002
15 years 7 months ago
2002
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
170
click to vote
MOC
2000
15 years 7 months ago
2000
The objective of this paper is to introduce a general scheme for deriving a posteriori error estimates by using duality theory of the calculus of variations. We consider variationa...
316
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Data warehousing and on-line analytical processing (OLAP) are essential for decision support applications. Common OLAP operations include for example drill down, roll up, pivot an...