7228 search results - page 190 / 1446 » From Algorithmic to Subjective Randomness |
138
click to vote
TSE
2010
15 years 2 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
143
click to vote
HRI
2007
ACM
15 years 7 months ago
2007
ACM
Learning by demonstration can be a powerful and natural tool for developing robot control policies. That is, instead of tedious hand-coding, a robot may learn a control policy by ...
126
Voted
PKC
2004
Springer
15 years 9 months ago
2004
Springer
Boneh and Venkatesan have proposed a polynomial time algorithm in a non-uniform model for recovering a ”hidden” element α ∈ IFp, where p is prime, from very short strings of...
136
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper combines the idea of a hierarchical distributed genetic algorithm with different interagent partnering strategies. Cascading clusters of sub-populations are built from ...
101
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents provable work-optimal parallelizations of STL (Standard Template Library) algorithms based on the workstealing technique. Unlike previous approaches where a deq...