3368 search results - page 598 / 674 » The Complexity of Query Reliability |
116
click to vote
SPIN
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
120
Voted
ECCC
2010
14 years 11 months ago
2010
Locally testable codes, i.e., codes where membership in the code is testable with a constant number of queries, have played a central role in complexity theory. It is well known t...
131
click to vote
PVLDB
2010
14 years 9 months ago
2010
The ever-increasing number of intrusions in public and commercial networks has created the need for high-speed archival solutions that continuously store streaming network data to...
156
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Recognizing the location and orientation of a mobile device from captured images is a promising application of image retrieval algorithms. Matching the query images to an existing...
153
click to vote
CIDR
2011
14 years 6 months ago
2011
Organizations like the Internet Archive have been capturing Web contents over decades, building up huge repositories of time-versioned pages. The timestamp annotations and the she...