Sciweavers

15254 search results - page 328 / 3051

» A k

123

DAC
2003
ACM

115views Computer Architecture» more DAC 2003»

Generalized cofactoring for logic function evaluation

16 years 7 months ago

Generalized cofactoring for logic function evaluation

Download embedded.eecs.berkeley.edu

Yunjian Jiang, Slobodan Matic, Robert K. Brayton

claim paper

Read More »

160

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

16 years 7 months ago

Beyond safety: customized SAT-based model checking

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

109

DAC
2006
ACM

82views Computer Architecture» more DAC 2006»

Towards the automatic exploration of arithmetic-circuit architectures

16 years 7 months ago

Towards the automatic exploration of arithmetic-circuit architectures

Download lap.epfl.ch

Ajay K. Verma, Paolo Ienne

claim paper

Read More »

145

ICML
2000
IEEE

138views Machine Learning» more ICML 2000»

Relative Loss Bounds for Temporal-Difference Learning

16 years 7 months ago

Relative Loss Bounds for Temporal-Difference Learning

Download users.soe.ucsc.edu

Jürgen Forster, Manfred K. Warmuth

claim paper

Read More »

176

ICML
2000
IEEE

147views Machine Learning» more ICML 2000»

Learning to Fly: An Application of Hierarchical Reinforcement Learning

16 years 7 months ago

Learning to Fly: An Application of Hierarchical Reinforcement Learning

Download threewordslong.com

Malcolm R. K. Ryan, Mark D. Reid

claim paper

Read More »

« Prev « First page 328 / 3051 Last » Next »