Sciweavers

4397 search results - page 192 / 880
» Relational Algebra Operations
Sort
View
137
Voted
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 3 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
135
Voted
CSFW
1995
IEEE
15 years 7 months ago
Composing and decomposing systems under security properties
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
A. W. Roscoe, L. Wulf
123
Voted
WWW
2008
ACM
16 years 4 months ago
Composite process oriented service discovery in preserving business and timed relation
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
Yu Dai, Lei Yang, Bin Zhang, Kening Gao
122
Voted
IJCAI
1989
15 years 4 months ago
Plausible Inferencing Using Extended Composition
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
Michael N. Huhns, Larry M. Stephens
108
Voted
FSS
2008
105views more  FSS 2008»
15 years 3 months ago
The self-dual core and the anti-self-dual remainder of an aggregation operator
In most decisional models based on pairwise comparison between alternatives, the reciprocity of the individual preference representations expresses a natural assumption of rationa...
José Luis García-Lapresta, Ricardo A...