Sciweavers

1789 search results - page 282 / 358
» New analysis and results for the Frank-Wolfe method
Sort
View
EVOW
1999
Springer
15 years 2 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
ICML
2010
IEEE
14 years 11 months ago
A scalable trust-region algorithm with application to mixed-norm regression
We present a new algorithm for minimizing a convex loss-function subject to regularization. Our framework applies to numerous problems in machine learning and statistics; notably,...
Dongmin Kim, Suvrit Sra, Inderjit S. Dhillon
TDP
2008
67views more  TDP 2008»
14 years 9 months ago
Generating Sufficiency-based Non-Synthetic Perturbed Data
The mean vector and covariance matrix are sufficient statistics when the un derlying distribution is multivariate normal. Many type of statistical analyses used in practice rely on...
Krishnamurty Muralidhar, Rathindra Sarathy
PAMI
1998
74views more  PAMI 1998»
14 years 9 months ago
Selecting the Optimal Focus Measure for Autofocusing and Depth-From-Focus
—A method is described for selecting the optimal focus measure with respect to gray-level noise from a given set of focus measures in passive autofocusing and depth-from-focus ap...
Muralidhara Subbarao, Jenn-Kwei Tyan
ICTAC
2010
Springer
14 years 8 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang