553 search results - page 102 / 111 » Learning Meets Verification |
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
KDD
2004
ACM
14 years 10 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
KDD
2004
ACM
14 years 10 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
ISMB
2004
13 years 11 months ago
2004
Motivation: Sigma factors regulate the expression of genes in Bacillus subtilis at the transcriptional level. First we assess the ability of currently available gene regulatory ne...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
In this work an improvement of an initial approach to design Artificial Neural Networks to forecast Time Series is tackled, and the automatic process to design Artificial Neural N...