371 search results - page 33 / 75 » A New Method for Interoperability Test Generation |
116
click to vote
ENTCS
2008
15 years 3 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...
134
Voted
CIARP
2009
Springer
15 years 8 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 ...
130
click to vote
ECOOP
1997
Springer
15 years 8 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...
159
Voted
PAMI
2008
15 years 3 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...
143
click to vote
INTERSPEECH
2010
14 years 10 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...