12148 search results - page 2151 / 2430 » Generalized Bundle Methods |
139
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
159
click to vote
SIGIR
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we investigate a novel and important problem in multi-document summarization, i.e., how to extract an easy-tounderstand English summary for non-native readers. Exist...
131
Voted
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We present a case study demonstrating that using the REVAC parameter tuning method we can greatly improve the `world champion' EA (the winner of the CEC2005 competi...
144
click to vote
DIALM
2010
ACM
15 years 2 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
182
click to vote
FPL
2010
Springer
15 years 2 months ago
2010
Springer
We demonstrate how Field Programmable Gate Arrays (FPGAs) may be used to address the computing challenges associated with assembling genome sequences from recent ultra-high-through...