371 search results - page 33 / 75 » A New Method for Interoperability Test Generation |
ENTCS
2008
15 years 1 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
115
click to vote
CIARP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this work we propose a new method to create neural network ensembles. Our methodology develops over the conventional technique of bagging, where multiple classifiers ...
111
Voted
ECOOP
1997
Springer
15 years 6 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
142
click to vote
PAMI
2008
15 years 1 months ago
2008
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
123
Voted
INTERSPEECH
2010
14 years 8 months ago
2010
A new noise reduction method for speech signals is proposed in this paper. The method is based upon the N-mode singular value decomposition algorithm, which exploits the multiline...