747 search results - page 7 / 150 » An Alternative Representation for QBF |
IMCSIT
2010
14 years 6 months ago
2010
A Hadamard representation, which is an alternative towards the binary representation, is considered in this study. It
JANCL
2006
14 years 9 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
ISNN
2007
Springer
15 years 3 months ago
2007
Springer
Nonnegative Matrix and Tensor Factorization (NMF/NTF) and Sparse Component Analysis (SCA) have already found many potential applications, especially in multi-way Blind Source Separ...
MOR
2000
14 years 9 months ago
2000
This paper introduces four alternative representations of a set function: the M
112
click to vote
PAMI
2012
12 years 12 months ago
2012
—This paper is concerned with the representation and recognition of the observed dynamics (i.e., excluding purely spatial appearance cues) of spacetime texture based on a spatiot...