Sciweavers

80 search results - page 3 / 16
» Looking Back
Sort
View
AAAI
1997
13 years 10 months ago
Using CSP Look-Back Techniques to Solve Real-World SAT Instances
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Roberto J. Bayardo Jr., Robert Schrag
CACM
2008
62views more  CACM 2008»
13 years 8 months ago
Looking back and forward
Scott E. Delman
IPM
2008
78views more  IPM 2008»
13 years 8 months ago
Looking back: On relevance, probabilistic indexing and information retrieval
Forty-eight years ago Maron and Kuhns published their paper, ``On Relevance, Probabilistic Indexing and Information Retrieval" (1960). This was the first paper to present a p...
Paul Thompson
JDWM
2007
84views more  JDWM 2007»
13 years 8 months ago
A Look back at the PAKDD Data Mining Competition 2006
The PAKDD Competition 2006 involved the problem of classifying mobile telecom network customers into 2G and 3G, with the ultimate aim of identifying existing 2G network customers w...
Nathaniel B. Noriel, Chew Lim Tan
MICRO
2007
IEEE
82views Hardware» more  MICRO 2007»
13 years 8 months ago
Looking Back
Richard Mateosian