747 search results - page 7 / 150 » An Alternative Representation for QBF |
IMCSIT
2010
14 years 9 months ago
2010
A Hadamard representation, which is an alternative towards the binary representation, is considered in this study. It
89
Voted
JANCL
2006
14 years 11 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, ...
111
click to vote
ISNN
2007
Springer
15 years 5 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 11 months ago
2000
This paper introduces four alternative representations of a set function: the M
132
click to vote
PAMI
2012
13 years 2 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...