1585 search results - page 158 / 317 » A framework for computer-aided validation |
126
click to vote
PKDD
2004
Springer
15 years 9 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...
129
Voted
DATE
2003
IEEE
15 years 9 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 ...
136
Voted
ECRTS
2003
IEEE
15 years 9 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...
109
Voted
ICCV
2003
IEEE
15 years 8 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...
117
Voted
IWPSE
2003
IEEE
15 years 8 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...