Sciweavers

1692 search results - page 183 / 339
» Applying Science Models for Search
Sort
View
JCDL
2011
ACM
191views Education» more  JCDL 2011»
12 years 12 months ago
Serendipitous recommendation for scholarly papers considering relations among researchers
Serendipity occurs when one finds an interesting discovery while searching for something else. In digital libraries, recommendation engines are particularly well-suited for seren...
Kazunari Sugiyama, Min-Yen Kan
CAV
2009
Springer
182views Hardware» more  CAV 2009»
14 years 3 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
GECCO
2004
Springer
131views Optimization» more  GECCO 2004»
14 years 2 months ago
PolyEDA: Combining Estimation of Distribution Algorithms and Linear Inequality Constraints
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...
Jörn Grahl, Franz Rothlauf
KR
2004
Springer
14 years 2 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
CIKM
2008
Springer
13 years 10 months ago
Social tags: meaning and suggestions
This paper aims to quantify two common assumptions about social tagging: (1) that tags are “meaningful” and (2) that the tagging process is influenced by tag suggestions. For...
Fabian M. Suchanek, Milan Vojnovic, Dinan Gunaward...