3015 search results - page 513 / 603 » The robustness of a new CAPTCHA |
194
click to vote
CAV
2011
Springer
14 years 10 months 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...
159
click to vote
ICASSP
2011
IEEE
14 years 9 months 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...
237
click to vote
ICS
2011
Tsinghua U.
14 years 9 months 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...
300
click to vote
IPSN
2011
Springer
14 years 9 months 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...
199
click to vote
PAMI
2011
14 years 9 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...