3628 search results - page 317 / 726 » The Decision Diffie-Hellman Problem |
161
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
288
click to vote
ICAART
2010
INSTICC
16 years 3 months ago
2010
INSTICC
There has been a lot of recent work on Bayesian methods for reinforcement learning exhibiting near-optimal online performance. The main obstacle facing such methods is that in most...
239
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
183
click to vote
AE
2007
Springer
16 years 26 days ago
2007
Springer
We are interested in the role of restricted mating schemes in the context of evolutionary multi-objective algorithms. In this paper, we propose an adaptive assortative mating schem...
136
click to vote
CSR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract It has recently been proved (Je˙z, DLT 2007) that conjunctive grammars (that is, context-free grammars augmented by conjunction) generate some nonregular languages over a...