2171 search results - page 209 / 435 » A Generic Process Algebra |
186
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present a novel approach for expanding spherical 3D-tensor fields of arbitrary order in terms of a tensor valued local Fourier basis. For an efficient implementati...
165
click to vote
AML
2010
15 years 6 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
202
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Nonnegative matrix tri-factorization (NMTF) is a 3-factor decomposition of a nonnegative data matrix, X USV , where factor matrices, U, S, and V , are restricted to be nonnegativ...
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
152
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...