6704 search results - page 485 / 1341 » Testing Scenario-Based Models |
174
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...
207
click to vote
ILC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
217
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a three-step post-processing method for increasing the precision of video shot labels in the domain of television news. First, we demonstrate that news shot sequences c...
187
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
170
click to vote
ICTAI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we introduce a novel technique for modeling and recognizing gesture signals in 2D space. This technique is based on measuring the direction of the gradient of the mo...