2272 search results - page 198 / 455 » Validity Invariants and Effects |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
This paper presents a Local Learning Projection (LLP) approach for linear dimensionality reduction. We first point out that the well known Principal Component Analysis (PCA) essen...
ICML
2005
IEEE
14 years 11 months ago
2005
IEEE
Classifiers that refrain from classification in certain cases can significantly reduce the misclassification cost. However, the parameters for such abstaining classifiers are ofte...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Replications play an important role in verifying empirical results. In this paper, we discuss our experiences performing a literal replication of a human subjects experiment that ...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...