5128 search results - page 717 / 1026 » Discrete Component Analysis |
156
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In nanometer regime, IC designs have to consider the impact of process variations, which is often indicated by manufacturing/parametric yield. This paper investigates a yield model...
189
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
225
click to vote
ACII
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present an embedded system in which face recognition and facial expression recognition for Human-Robot Interaction are implemented. To detect face with a fast and...
176
click to vote
DIS
2008
Springer
15 years 8 months ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
147
click to vote
ACL
2008
15 years 8 months ago
2008
Detecting conflicting statements is a foundational text understanding task with applications in information analysis. We propose an appropriate definition of contradiction for NLP...