Sciweavers

AAAI
2007
15 years 8 months ago
Learning Voting Trees
Binary voting trees provide a succinct representation for a large and prominent class of voting rules. In this paper, we investigate the PAC-learnability of this class of rules. W...
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffre...
AAAI
2008
15 years 8 months ago
A Demonstration of the RADAR Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this purpos...
Andrew Faulring, Brad A. Myers, Ken Mohnkern, Mich...
AAAI
2007
15 years 8 months ago
An Interactive Constraint-Based Approach to Sudoku
Christopher G. Reeson, Kai-Chen Huang, Kenneth M. ...
AAAI
2008
15 years 8 months ago
Loop Calculus for Satisfiability
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
Lukas Kroc, Michael Chertkov
AAAI
2007
15 years 8 months ago
A Method for Large-Scale l1-Regularized Logistic Regression
Kwangmoo Koh, Seung-Jean Kim, Stephen P. Boyd