523 search results - page 40 / 105 » Symbolic Test Selection Based on Approximate Analysis |
TCAD
1998
13 years 7 months ago
1998
Abstract—This paper presents an aggressive optimization technique targeting combinational logic circuits. Starting from an initial implementation mapped on a given technology lib...
PRL
2006
13 years 7 months ago
2006
This paper describes an improved boosting algorithm, the MutualBoost algorithm, and its application in developing a fast and robust Gabor feature based face recognition system. Th...
ISM
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
CIT
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper addresses the issue of counterfeit iris detection, which is a liveness detection problem in biometrics. Fake iris mentioned here refers to iris wearing color contact le...