1914 search results - page 48 / 383 » Verification by Abstract Interpretation |
108
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...
88
Voted
MJ
2006
15 years 13 days ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
124
click to vote
DATESO
2010
14 years 10 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
97
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
95
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
Fingerprint enhancement is a critical step in automatic fingerprint verification system. Most of the existing enhancement uses a set of contextual filters to enhance fingerprint. ...