1743 search results - page 147 / 349 » Generalized Modal Satisfiability |
115
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In the maximum constraint satisfaction problem (Max CSP), one is given a finite collection of (possibly weighted) constraints on overlapping sets of variables, and the goal is to ...
124
click to vote
LISP
2008
15 years 3 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
147
Voted
SIAMCOMP
2000
15 years 3 months ago
2000
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B ...
131
click to vote
DICTA
2009
15 years 1 months ago
2009
A number of problems in computer vision require the estimation of a set of matrices, each of which is defined only up to an individual scale factor and represents the parameters of...
117
Voted
CRYPTO
2010
Springer
15 years 25 days ago
2010
Springer
We show that the widely deployed RSA-OAEP encryption scheme of Bellare and Rogaway (Eurocrypt 1994), which combines RSA with two rounds of an underlying Feistel network whose hash...