4616 search results - page 637 / 924 » Extreme Components Analysis |
147
click to vote
AAAI
2007
15 years 7 months ago
2007
In semi-supervised learning, a number of labeled examples are usually required for training an initial weakly useful predictor which is in turn used for exploiting the unlabeled e...
141
click to vote
FLAIRS
2007
15 years 7 months ago
2007
Constraint Satisfaction Problems are ubiquitous in Artificial Intelligence. Over the past decade significant advances have been made in terms of the size of problem instance tha...
145
click to vote
WSC
2007
15 years 7 months ago
2007
Historical data suggest that returns of stocks and indices are not distributed independent and identically Normal, as is commonly assumed. Instead, returns of financial assets are...
123
Voted
ASPDAC
2008
ACM
15 years 6 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...
147
click to vote
CAV
2008
Springer
15 years 6 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...