3628 search results - page 508 / 726 » The Decision Diffie-Hellman Problem |
162
click to vote
JAL
2008
15 years 6 months ago
2008
An important class of heuristics for constraint satisfaction problems works by sampling information during search in order to inform subsequent decisions. One of these strategies, ...
151
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The objective of most users for consulting any information database, information warehouse or the internet is to resolve one problem or the other. Available online or offline anno...
176
click to vote
JUCS
2008
15 years 6 months ago
2008
: In this work we present a strategy for off-line signature verification. It takes into account a writer-independent model which reduces the pattern recognition problem to a 2-clas...
160
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, the Fuzzy Min-Max (FMM) neural network along with two modified FMM models are used for tackling medical diagnostic problems. The original FMM network establishes hyp...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...