Sciweavers

338 search results - page 11 / 68
» A Formal Approach to Heuristically Test Restorable Systems
Sort
View
118
Voted
AAAI
2010
15 years 3 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»
15 years 8 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...
98
Voted
AAAI
1997
15 years 3 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
152
Voted
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
15 years 5 months 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
104
Voted
NLDB
2007
Springer
15 years 8 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