Sciweavers

4167 search results - page 467 / 834
» Evolutionary functional testing
Sort
View
ICML
2009
IEEE
16 years 6 months ago
Proximal regularization for online and batch learning
Many learning algorithms rely on the curvature (in particular, strong convexity) of regularized objective functions to provide good theoretical performance guarantees. In practice...
Chuong B. Do, Quoc V. Le, Chuan-Sheng Foo
KDD
2005
ACM
177views Data Mining» more  KDD 2005»
16 years 5 months ago
Query chains: learning to rank from implicit feedback
This paper presents a novel approach for using clickthrough data to learn ranked retrieval functions for web search results. We observe that users searching the web often perform ...
Filip Radlinski, Thorsten Joachims
RECOMB
2008
Springer
16 years 5 months ago
Automatic Parameter Learning for Multiple Network Alignment
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
Jason Flannick, Antal F. Novak, Chuong B. Do, Bala...
FASE
2010
Springer
15 years 12 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...
DATE
2009
IEEE
178views Hardware» more  DATE 2009»
15 years 12 months ago
Correct-by-construction generation of device drivers based on RTL testbenches
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...