Sciweavers

4903 search results - page 265 / 981
» The Set Covering Machine
Sort
View
VMCAI
2012
Springer
14 years 2 months ago
Ideal Abstractions for Well-Structured Transition Systems
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
Damien Zufferey, Thomas Wies, Thomas A. Henzinger
ICML
2009
IEEE
16 years 7 months ago
Learning nonlinear dynamic models
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory sh...
John Langford, Ruslan Salakhutdinov, Tong Zhang
168
Voted
ICML
2007
IEEE
16 years 7 months ago
Uncovering shared structures in multiclass classification
This paper suggests a method for multiclass learning with many classes by simultaneously learning shared characteristics common to the classes, and predictors for the classes in t...
Yonatan Amit, Michael Fink 0002, Nathan Srebro, Sh...
ICML
2005
IEEE
16 years 7 months ago
Why skewing works: learning difficult Boolean functions with greedy tree learners
We analyze skewing, an approach that has been empirically observed to enable greedy decision tree learners to learn "difficult" Boolean functions, such as parity, in the...
Bernard Rosell, Lisa Hellerstein, Soumya Ray, Davi...
FSTTCS
2007
Springer
16 years 27 days ago
Synthesis of Safe Message-Passing Systems
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
Nicolas Baudru, Rémi Morin