3628 search results - page 179 / 726 » The Decision Diffie-Hellman Problem |
114
click to vote
ANOR
2002
15 years 3 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
157
Voted
AOR
2010
15 years 28 days ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...
147
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
147
Voted
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
159
Voted
IJCAI
2001
15 years 4 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...