1211 search results - page 38 / 243 » Classification of Contradiction Patterns |
109
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
113
click to vote
KAIS
2006
15 years 3 months ago
2006
Abstract It has been proven that districted matching schemes (e.g., the US presidential election scheme, also called the Electoral College) are more stable than undistricted matchi...
144
click to vote
PREMI
2007
Springer
15 years 9 months ago
2007
Springer
Support vector machine (SVM) which was originally designed for binary classification has achieved superior performance in various classification problems. In order to extend it to ...
124
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
158
click to vote
ISIWI
2000
15 years 4 months ago
2000
(Automatic) document classification is generally defined as content-based assignment of one or more predefined categories to documents. Usually, machine learning, statistical patt...