4134 search results - page 576 / 827 » Collaborative Practice Research |
135
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
148
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Matching records that refer to the same entity across databases is becoming an increasingly important part of many data mining projects, as often data from multiple sources needs ...
153
click to vote
SIBGRAPI
2008
IEEE
15 years 10 months ago
2008
IEEE
Range searching is a fundamental problem in computational geometry. The problem involves preprocessing a set of n points in Rd into a data structure, so that it is possible to det...
121
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
Purpose – This paper reports the findings of a major study examining the overlap among results retrieved by three major web search engines. The goal of the research was to: mea...
149
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...