2171 search results - page 209 / 435 » A Generic Process Algebra |
134
Voted
DAGM
2010
Springer
15 years 4 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...
135
Voted
AML
2010
15 years 3 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...
153
Voted
ICASSP
2009
IEEE
15 years 1 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...
121
click to vote
CAISE
2006
Springer
15 years 7 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...
118
click to vote
IFIP
2009
Springer
15 years 10 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...