4482 search results - page 822 / 897 » The Crowdsourcing Design Space |
114
Voted
CADE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
103
Voted
STOC
2007
ACM
16 years 27 days ago
2007
ACM
A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit xi of the message by querying only...
164
Voted
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
193
Voted
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...
186
Voted
SIGMOD
2009
ACM
16 years 24 days ago
2009
ACM
In this paper, we study a novel form of continuous nearest neighbor queries in the presence of obstacles, namely continuous obstructed nearest neighbor (CONN) search. It considers...