Search Sciweavers | Sciweavers

4930 search results - page 4 / 986

» Learning minimal abstractions

click to vote

APPROX
2006
Springer

89views Algorithms» more APPROX 2006»

Online Algorithms to Minimize Resource Reallocations and Network Communication

13 years 8 months ago

Download www.cse.yorku.ca

Abstract. In this paper, we consider two new online optimization problems (each with several variants), present similar online algorithms for both, and show that one reduces to the...

Sashka Davis, Jeff Edmonds, Russell Impagliazzo

claim paper

Read More »

click to vote

LCPC
1994
Springer

91views System Software» more LCPC 1994»

Minimal Data Dependence Abstractions for Loop Transformations

13 years 8 months ago

Download www.cri.ensmp.fr

Data Dependence Abstractions for Loop Transformations Yi-Qing Yang Corinne Ancourt Francois Irigoin Ecole des Mines de Paris/CRI 77305 Fontainebleau Cedex France tractions of prog...

Yi-Qing Yang, Corinne Ancourt, François Iri...

claim paper

Read More »

click to vote

SIGIR
2002
ACM

124views Information Technology» more SIGIR 2002»

Risk minimization and language modeling in text retrieval dissertation abstract

13 years 4 months ago

Download www.sigir.org

tion Abstract ChengXiang Zhai (Advisor: John Lafferty) Language Technologies Institute School of Computer Science Carnegie Mellon University With the dramatic increase in online in...

ChengXiang Zhai

claim paper

Read More »

click to vote

ATVA
2007
Springer

77views Hardware» more ATVA 2007»

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction

13 years 11 months ago