Sciweavers

338 search results - page 11 / 68
» A Formal Approach to Heuristically Test Restorable Systems
Sort
View
AAAI
2010
13 years 10 months ago
An Integrated Systems Approach to Explanation-Based Conceptual Change
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
Scott Friedman, Kenneth D. Forbus
DFT
2006
IEEE
105views VLSI» more  DFT 2006»
14 years 2 months ago
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
Zhiyuan He, Zebo Peng, Petru Eles, Paul M. Rosinge...
AAAI
1997
13 years 10 months ago
Applications of Rule-Base Coverage Measures to Expert System Evaluation
Often a rule-based system is tested by checking its performance on a number of test cases with known solutions, modifying the system until it gives the correct results for all or ...
Valerie Barr
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
14 years 5 days ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
NLDB
2007
Springer
14 years 2 months ago
Developing Methods and Heuristics with Low Time Complexities for Filtering Spam Messages
In this paper, we propose methods and heuristics having high accuracies and low time complexities for filtering spam e-mails. The methods are based on the n-gram approach and a heu...
Tunga Güngör, Ali Çiltik