1585 search results - page 158 / 317 » A framework for computer-aided validation |
164
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
A crucial issue for Machine Learning and Data Mining is Feature Selection, selecting the relevant features in order to focus the learning search. A relaxed setting for Feature Sele...
163
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
180
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
154
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Building on recent progress in modeling filter response statistics of natural images we integrate a statistical model into a variational framework for image segmentation. Incorpo...
153
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by...