13 search results - page 3 / 3 » CAPTCHAs: The Good, the Bad, and the Ugly |
QUEUE
2007
13 years 4 months ago
2007
ICPR
2010
IEEE
13 years 2 months ago
2010
IEEE
Automatic classification of the aesthetic content of a picture is one of the challenges in the emerging discipline of computational aesthetics. Any suitable solution must cope wit...
TOCL
2011
12 years 11 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...