4397 search results - page 128 / 880 » Relational Algebra Operations |
116
click to vote
WEA
2009
Springer
15 years 9 months ago
2009
Springer
We present a cgal-based univariate algebraic kernel, which provides certi ed real-root isolation of univariate polynomials with integer coe cients and standard functionalities such...
112
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
134
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
137
click to vote
IWFM
2000
15 years 3 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
102
click to vote
IJUFKS
2006
15 years 2 months ago
2006
One special subalgebra of the algebra of fuzzy truth values is the set of those elements that take only 0 and 1 as values. This subalgebra is in one-to-one correspondence with the...