Sciweavers

17 search results - page 4 / 4
» Sequential Circuit Test Generation Using Decision Diagram Mo...
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
13 years 11 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
KDD
2009
ACM
224views Data Mining» more  KDD 2009»
13 years 9 months ago
Issues in evaluation of stream learning algorithms
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
João Gama, Raquel Sebastião, Pedro P...