13 search results - page 2 / 3 » CAPTCHAs: The Good, the Bad, and the Ugly |
KDD
2001
ACM
14 years 4 months ago
2001
ACM
VLDB
2000
ACM
13 years 8 months ago
2000
ACM
AISC
2008
Springer
13 years 6 months ago
2008
Springer
MICRO
2000
IEEE
13 years 4 months ago
2000
IEEE
CORR
2008
Springer
13 years 4 months ago
2008
Springer
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 se...