Sciweavers

7928 search results - page 284 / 1586
» Human-Like Learning Methods for a
Sort
View
DATE
2005
IEEE
150views Hardware» more  DATE 2005»
15 years 12 months ago
Pueblo: A Modern Pseudo-Boolean SAT Solver
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
Hossein M. Sheini, Karem A. Sakallah
ECML
2007
Springer
16 years 13 days ago
Learning from Relevant Tasks Only
We extend our recent work on relevant subtask learning, a new variant of multitask learning where the goal is to learn a good classifier for a task-of-interest with too few train...
Samuel Kaski, Jaakko Peltonen
NIPS
2007
15 years 7 months ago
Structured Learning with Approximate Inference
In many structured prediction problems, the highest-scoring labeling is hard to compute exactly, leading to the use of approximate inference methods. However, when inference is us...
Alex Kulesza, Fernando Pereira
ACL
1998
15 years 7 months ago
Learning Optimal Dialogue Strategies: A Case Study of a Spoken Dialogue Agent for Email
This paper describes a novel method by which a dialogue agent can learn to choose an optimal dialogue strategy. While it is widely agreed that dialogue strategies should be formul...
Marilyn A. Walker, Jeanne Frommer, Shrikanth Naray...
ICASSP
2010
IEEE
15 years 6 months ago
Harmonic variable-size dictionary learning for music source separation
Dictionary learning through matrix factorization has become widely popular for performing music transcription and source separation. These methods learn a concise set of dictionar...
Steven K. Tjoa, Matthew C. Stamm, W. Sabrina Lin, ...