4299 search results - page 386 / 860 » Concurrent Test Generation |
161
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
150
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
156
Voted
FGR
2004
IEEE
15 years 8 months ago
2004
IEEE
Data collection for both training and testing a classifier is a tedious but essential step towards face detection and recognition. All of the statistical methods suffer from this ...
136
Voted
JDWM
2007
15 years 5 months ago
2007
This article presents a new evolutionary algorithm (EA) for induction of mixed decision trees. In nonterminal nodes of a mixed tree, different types of tests can be placed, rangin...
130
Voted
TSP
2008
15 years 5 months ago
2008
In this paper, the expectation-maximization (EM) algorithm for Gaussian mixture modeling is improved via three statistical tests. The first test is a multivariate normality criteri...