245 search results - page 21 / 49 » On the Average-Case Complexity of Property Testing |
95
Voted
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
FORTE
2004
15 years 1 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
INTEGRATION
1998
14 years 11 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
CC
2007
Springer
14 years 11 months ago
2007
Springer
We initiate a study of tradeoffs between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...
ICML
2004
IEEE
16 years 15 days ago
2004
IEEE
We propose a simple, novel and yet effective method for building and testing decision trees that minimizes the sum of the misclassification and test costs. More specifically, we f...