Sciweavers

1620 search results - page 137 / 324
» Testing Polymorphic Properties
Sort
View
DFT
2002
IEEE
115views VLSI» more  DFT 2002»
15 years 10 months ago
Neighbor Current Ratio (NCR): A New Metric for IDDQ Data Analysis
IDDQ test loses its effectiveness for deep sub-micron chips since it cannot distinguish between faulty and fault-free currents. The concept of current ratios, in which the ratio o...
Sagar S. Sabade, D. M. H. Walker
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 9 months ago
Stiffness matrix and quantitative measure of formation rigidity
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
Guangwei Zhu, Jianghai Hu
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 9 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
ATAL
1999
Springer
15 years 9 months ago
Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
Scott A. Wallace, John E. Laird
FOCS
1990
IEEE
15 years 9 months ago
On the Predictability of Coupled Automata: An Allegory about Chaos
We show a sharp dichotomy between systems of identical automata with a symmetric global control whose behavior is easy to predict, and those whose behavior is hard to predict. The...
Samuel R. Buss, Christos H. Papadimitriou, John N....