3680 search results - page 100 / 736 » cases 2010 |
155
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
We propose to use MapReduce to quickly test new retrieval approaches on a cluster of machines by sequentially scanning all documents. We present a small case study in which we use ...
136
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
158
click to vote
CSDA
2010
15 years 4 months ago
2010
The goal of this work is to study the asymptotic and finite sample properties of an estimator of a nonlinear regression function when errors are spatially correlated, and when the...
134
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We revisit the problem of designing the profit-maximizing single-item auction, solved by Myerson in his seminal paper for the case in which bidder valuations are independently dis...
170
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...