Sciweavers

4903 search results - page 104 / 981
» The Set Covering Machine
Sort
View
NIPS
2003
13 years 10 months ago
Margin Maximizing Loss Functions
Margin maximizing properties play an important role in the analysis of classi£cation models, such as boosting and support vector machines. Margin maximization is theoretically in...
Saharon Rosset, Ji Zhu, Trevor Hastie
CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 9 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
JUCS
2002
113views more  JUCS 2002»
13 years 8 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
ICASSP
2011
IEEE
13 years 26 days ago
Pronunciation variants generation using SMT-inspired approaches
Enriching a pronunciation dictionary with phonological variation is a challenging task, not yet solved despite several decades of research, in particular for speech-to-text transc...
Panagiota Karanasou, Lori Lamel
CORR
2008
Springer
152views Education» more  CORR 2008»
13 years 9 months ago
An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines
We study the scheduling problem on unrelated machines in the mechanism design setting. This problem was proposed and studied in the seminal paper of Nisan and
Pinyan Lu, Changyuan Yu