223 search results - page 28 / 45 » New methods and coverage metrics for functional verification |
IADIS
2008
13 years 10 months ago
2008
Data mining has emerged to address the problem of transforming data into useful knowledge. Although most data mining techniques, such as Association Rules, substantially reduce th...
IJCAI
1997
13 years 10 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
APIN
1998
13 years 8 months ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The sampling expansion approach for computing the performance of TR UWB systems has restricted validity and is very inaccurate in some cases. A new analytical method to evaluate...
FMCAD
2009
Springer
14 years 18 days ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...