5866 search results - page 180 / 1174 » An e-Process Selection Model |
143
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
149
click to vote
Publication
Image matching has been a central research topic in computer vision over the last decades. Typical approaches to correspondence involve matching features between images. In this pa...
163
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, block diagonal linear discriminant analysis (BDLDA) is improved and applied to gene expression data. BDLDA is a classification tool with embedded feature selection...
124
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
153
Voted
CAIP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The "seeded region growing" SRG is a segmentation technique which performs an image segmentation with respect to a set of initial points, known as seeds. Give...