3841 search results - page 160 / 769 » Crowdsourcing for search evaluation |
169
click to vote
AI
2005
Springer
16 years 1 days ago
2005
Springer
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
168
click to vote
EVOW
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is tackl...
169
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
163
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
165
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
When outsourcing data to an untrusted database server, the data should be encrypted. When using thin clients or low-bandwidth networks it is best to perform most of the work at the...