3073 search results - page 243 / 615 » Real World Verification |
169
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We describe a statistical approach to software debugging in the presence of multiple bugs. Due to sparse sampling issues and complex interaction between program predicates, many g...
154
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Predictive state representations (PSRs) have recently been proposed as an alternative to partially observable Markov decision processes (POMDPs) for representing the state of a dy...
153
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper extends previous work on the Skewing algorithm, a promising approach that allows greedy decision tree induction algorithms to handle problematic functions such as parit...
151
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
A new method for classification is proposed. This is based on kernel orthonormalized partial least squares (PLS) dimensionality reduction of the original data space followed by a ...
209
click to vote
ICML
1995
IEEE
16 years 7 months ago
1995
IEEE
Understanding high-dimensional real world data usually requires learning the structure of the data space. The structure maycontain high-dimensional clusters that are related in co...