2191 search results - page 185 / 439 » Evolutionary testing of classes |
135
click to vote
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
164
click to vote
IANDC
2006
15 years 4 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
163
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
142
click to vote
MCS
2005
Springer
15 years 9 months ago
2005
Springer
A Half-Against-Half (HAH) multi-class SVM is proposed in this paper. Unlike the commonly used One-Against-All (OVA) and One-Against-One (OVO) implementation methods, HAH is built ...
128
click to vote
IJCAT
2010
15 years 2 months ago
2010
: The task of 3D shape classification is to assign a set of unordered shapes into pre-tagged classes with class labels, and find the most suitable class for a newly given shape. In...