9532 search results - page 1860 / 1907 » Logic, Graphs, and Algorithms |
104
click to vote
ITCC
2003
IEEE
15 years 4 months ago
2003
IEEE
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
98
Voted
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ILP
2003
Springer
15 years 4 months ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
JCDL
2010
ACM
15 years 4 months ago
2010
ACM
The“wisdom of crowds”is accomplishing tasks that are cumbersome for individuals yet cannot be fully automated by means of specialized computer algorithms. One such task is the...