Sciweavers

1569 search results - page 122 / 314
» Programming contest strategy
Sort
View
ICASSP
2011
IEEE
14 years 4 months ago
Variability regularization in large-margin classification
This paper introduces a novel regularization strategy to address the generalization issues for large-margin classifiers from the Empirical Risk Minimization (ERM) perspective. Fi...
Dwi Sianto Mansjur, Ted S. Wada, Biing-Hwang Juang
ICFP
2001
ACM
16 years 15 days ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
120
Voted
CIE
2010
Springer
15 years 5 months ago
Focusing in Asynchronous Games
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
Samuel Mimram
ICSE
2003
IEEE-ACM
16 years 19 days ago
Automated Support for Classifying Software Failure Reports
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...
Andy Podgurski, David Leon, Patrick Francis, Wes M...
ICNC
2009
Springer
15 years 7 months ago
Reducing Boarding Time: Synthesis of Improved Genetic Algorithms
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...
Kang Wang