2177 search results - page 314 / 436 » Relative Margin Machines |
138
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
122
Voted
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
139
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
The page rank of a commercial web site has an enormous economic impact because it directly influences the number of potential customers that find the site as a highly ranked sear...
101
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
Probability trees (or Probability Estimation Trees, PET’s) are decision trees with probability distributions in the leaves. Several alternative approaches for learning probabilit...
106
click to vote
MLMI
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the design and results of the Rich Transcription Spring 2005 (RT-05S) Meeting Recognition Evaluation. This evaluation is the third in a series of community-wide...