1420 search results - page 34 / 284 » Multi-point Constructive Search |
122
Voted
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
Users of the World-Wide Web are not only confronted by an immense overabundance of information, but also by a plethora of tools for searching for the web pages that suit their inf...
112
click to vote
CIKM
2001
Springer
15 years 6 months ago
2001
Springer
Given a large number of search engines on the Internet, it is di cult for a person to determine which search engines could serve his/her information needs. A common solution is to...
110
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
113
click to vote
KDD
1995
ACM
15 years 5 months ago
1995
ACM
Clustering is often used to discover structure in data. Clustering systems differ in the objective function used to evaluate clustering quality and the control strategy used to se...
143
click to vote
ASE
2005
15 years 1 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...