Sciweavers

2754 search results - page 361 / 551
» Competitive recommendation systems
Sort
View
ICML
2003
IEEE
16 years 5 months ago
Tackling the Poor Assumptions of Naive Bayes Text Classifiers
Naive Bayes is often used as a baseline in text classification because it is fast and easy to implement. Its severe assumptions make such efficiency possible but also adversely af...
Jason D. Rennie, Lawrence Shih, Jaime Teevan, Davi...
CHI
2006
ACM
16 years 4 months ago
Balance pass: service design for a healthy college lifestyle
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
Aditya Chand, Monica Gonzalez, Julian Missig, Puri...
CADE
2008
Springer
16 years 4 months ago
Engineering DPLL(T) + Saturation
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
CADE
2007
Springer
16 years 4 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
ICIAP
2005
ACM
16 years 4 months ago
Combining Multiple Matchers for Fingerprint Verification: A Case Study in FVC2004
Abstract. Combining different algorithms submitted to the Third International Fingerprint Verification Competition (FVC2004) is studied. For this work, the matching results of more...
Julian Fiérrez-Aguilar, Loris Nanni, Javier...