4397 search results - page 231 / 880 » Relational Algebra Operations |
145
click to vote
TABLEAUX
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
148
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
130
click to vote
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
The Bentley-Ottmann sweep-line method can be used to compute the arrangement of planar curves provided a number of geometric primitives operating on the curves are available. We d...
117
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
127
click to vote
UAI
2004
15 years 5 months ago
2004
We characterize probabilities in Bayesian networks in terms of algebraic expressions called quasi-probabilities. These are arrived at by casting Bayesian networks as noisy AND-OR-...