2474 search results - page 125 / 495 » Solving Problems on Parallel Computers by Cellular Programmi... |
152
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
105
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
156
click to vote
IWPEC
2004
Springer
15 years 10 months ago
2004
Springer
We propose to look at the computational complexity of 2-dimensional geometric optimization problems on a finite point set with respect to the number of inner points (that is, poi...
147
click to vote
FOCS
1991
IEEE
15 years 8 months ago
1991
IEEE
The Lov´asz Local Lemma is a tool that enables one to show that certain events hold with positive, though very small probability. It often yields existence proofs of results with...
130
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Over the last years, interest in hybrid metaheuristics has risen considerably in the field of optimization. Combinations of methods such as evolutionary algorithms and...