562 search results - page 33 / 113 » Dependency Pairs Revisited |
120
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
85
Voted
JOSS
2000
15 years 1 months ago
2000
: Data structures comprising many binary variables can be represented graphically in various ways. Depending on the purpose different plots might be useful. Here two ways of showin...
123
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Facial expression recognition is a topic of interest both in industry and academia. Recent approaches to facial expression recognition are based on mapping expressions to low dime...
82
Voted
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we study the security of an image scrambling algorithm based on Space-Filling Curves (SFC). A random SFC is a pixel permutation that changes the scanning order with...
127
Voted
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
We revisit the following open problem in information-theoretic cryptography: Does the communication complexity of unconditionally secure computation depend on the computational com...