1421 search results - page 68 / 285 » Resampling methods for input modeling |
112
click to vote
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
130
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper addresses feature selection techniques for classification of high dimensional data, such as those produced by microarray experiments. Some prior knowledge may be availa...
135
click to vote
EAAI
2007
15 years 3 months ago
2007
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...
158
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
127
click to vote
ACL
1997
15 years 4 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...