2302 search results - page 176 / 461 » Testing as Abstraction |
166
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
166
click to vote
MP
2007
15 years 6 months ago
2007
Abstract One method which has been used very successfully for finding optimal and provably good solutions for large instances of the Symmetric Travelling Salesman Problem (STSP) i...
199
click to vote
PAMI
2007
15 years 6 months ago
2007
Abstract—We experimentally evaluate bagging and seven other randomizationbased approaches to creating an ensemble of decision tree classifiers. Statistical tests were performed o...
162
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper introduces a new method to detect group differences in brain images based on spatially regularized support vector machines (SVM). First, we propose to spatial...
171
click to vote
CICLING
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The development of a syntactic textual entailment system that compares the dependency relations in both the text and the hypothesis has been reported. The Stanford Depend...