6833 search results - page 140 / 1367 » Some two-character sets |
119
click to vote
JSC
2010
15 years 2 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
191
click to vote
MEDBIOMETRICS
2010
15 years 2 months ago
2010
This study proposes an effective method called DIAMOND to classify biological and medical data. Given a set of objects with some classes, DIAMOND separates the objects into differe...
110
click to vote
IEAAIE
2010
Springer
15 years 2 months ago
2010
Springer
The present paper studies the influence of two distinct factors on the performance of some resampling strategies for handling imbalanced data sets. In particular, we focus on the n...
152
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
144
click to vote
IJAC
2008
15 years 4 months ago
2008
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...