1508 search results - page 52 / 302 » A Combination Method for Generating Interpolants |
154
click to vote
VLSID
1993
IEEE
15 years 9 months ago
1993
IEEE
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
150
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
117
click to vote
TEC
2011
15 years 10 days ago
2011
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
155
click to vote
ET
2000
15 years 5 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
133
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
High-accuracy image registration is an important fundamental task in many fields, such as image sensing, image/video processing, computer vision, etc. In order to evaluate accurac...