Sciweavers

3145 search results - page 85 / 629
» Algebraic Linear Orderings
Sort
View
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
16 years 4 months ago
XML query optimization in the presence of side effects
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
SACMAT
2004
ACM
15 years 9 months ago
Towards a credential-based implementation of compound access control policies
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
Joachim Biskup, Sandra Wortmann
AML
2005
81views more  AML 2005»
15 years 3 months ago
A logical and algebraic treatment of conditional probability
This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part f...
Tommaso Flaminio, Franco Montagna
WSC
2007
15 years 6 months ago
Duality in high level petri-nets: a basis to do diagnoses
In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new c...
Jörg R. Müller, Eckehard Schnieder

Source Code
2846views
17 years 2 months ago
Armadillo C++ matrix library
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...
Conrad Sanderson