1682 search results - page 151 / 337 » Applying Conventional Testing Techniques for Class Testing |
119
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
140
click to vote
PARA
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
133
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
124
Voted
HIS
2008
15 years 5 months ago
2008
Artificial Immune Systems (AIS) constitute an emerging and promising field, and have been applied to pattern recognition and classification tasks to a limited extent so far. This ...
128
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents an adaptative algorithm for the segmentation of color images suited for document image analysis. The algorithm is based on a serialization of the k-means algor...