3015 search results - page 513 / 603 » The robustness of a new CAPTCHA |
CAV
2011
Springer
13 years 17 days ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
ICASSP
2011
IEEE
13 years 13 days ago
2011
IEEE
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
ICS
2011
Tsinghua U.
13 years 13 days ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
IPSN
2011
Springer
13 years 12 days ago
2011
Springer
Deployment of wireless sensors in real world environments is often a frustrating experience. The quality of radio links is highly coupled to unpredictable physical environments, l...
PAMI
2011
12 years 11 months ago
2011
— This paper addresses how to model and correct image blur that arises when a camera undergoes ego motion while observing a distant scene. In particular, we discuss how the blurr...