3742 search results - page 428 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
173
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we incorporate a diversity mechanism to the differential evolution algorithm to solve constrained optimization problems without using a penalty function. The aim is...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Microarray techniques survey gene expressions on a global scale. Extensive biomedical studies have been designed to discover subsets of genes that are associated with ...
145
Voted
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a technique to adapt the domain of local features through the matching process to augment their discriminative power. We start with local affine features selected and n...
170
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, a novel method to extend the grayscale histogram equalization (GHE) for color images in a multidimension is proposed. Unlike most current techniques, the proposed m...