923 search results - page 88 / 185 » Proving the value of formal methods |
185
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
149
click to vote
JCIT
2008
15 years 6 months ago
2008
Metric distances and the more general concept of dissimilarities are widely used tools in instance-based learning methods and very especially in the nearestneighbor classification...
148
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
Unknown values (Xs) may exist in a design due to uninitialized registers or blocks that are powered down. Due to X-pessimism in gate-level logic simulation, such Xs cannot be hand...
148
click to vote
ICASSP
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we propose a method for robust kernel density estimation. We interpret a KDE with Gaussian kernel as the inner product between a mapped test point and the centroid ...
153
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We deal with two important problems in pattern recognition that arise in the analysis of large datasets. While most feature subset selection methods use statistical techn...