3628 search results - page 63 / 726 » The Decision Diffie-Hellman Problem |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
AIPS
2004
13 years 10 months ago
2004
Military operations planning involves concurrent actions, resource assignment, and conflicting costs. Individual tasks sometimes fail with a known probability, promoting a decisio...
NN
1998
Springer
13 years 8 months ago
1998
Springer
There are many applications of multilayer neural networks to pattern classification problems in the engineering field. Recently, it has been shown that Bayes a posteriori probab...
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with parity objectives. An observationbased strategy relies on partial information...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Video Compression currently is dominated by engineering and fine-tuned heuristic methods. In this paper, we propose to instead apply the well-developed machinery of machine learni...