Sciweavers

1129 search results - page 59 / 226

» SAC and neighbourhood SAC

139

SAC
2010
ACM

143views Applied Computing» more SAC 2010»

Bilinear modulation models for seasonal tables of counts

15 years 1 months ago

Bilinear modulation models for seasonal tables of counts

Download www.stat.lsu.edu

Brian D. Marx, Paul H. C. Eilers, Jutta Gampe, Rol...

claim paper

Read More »

151

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

Sector log: fine-grained storage management for solid state drives

14 years 9 months ago

Sector log: fine-grained storage management for solid state drives

Download calab.kaist.ac.kr

Seongwook Jin, Jae-Hong Kim, Jaegeuk Kim, Jaehyuk ...

claim paper

Read More »

163

SAC
2011
ACM

163views Applied Computing» more SAC 2011»

Stream: a strategy for transition between requirements models and architectural models

14 years 9 months ago

Stream: a strategy for transition between requirements models and architectural models

Download portal.cin.ufpe.br

Márcia Lucena, Jaelson Castro, Carla T. L. ...

claim paper

Read More »

206

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

14 years 9 months ago

Quotients revisited for Isabelle/HOL

Download score.cs.tsukuba.ac.jp

Higher-Order Logic (HOL) is based on a small logic kernel, whose

Cezary Kaliszyk, Christian Urban

claim paper

Read More »

314

SAC
2012
ACM

380views Applied Computing» more SAC 2012»

Decrypting classical cipher text using Markov chain Monte Carlo

14 years 2 months ago

Decrypting classical cipher text using Markov chain Monte Carlo

Download probability.ca

In this paper, we present the use of Markov Chain Monte Carlo (MCMC) methods to attack the classical ciphers. We use frequency analysis as our basic tool. First we investigate the...

Jian Chen, Jeffrey S. Rosenthal

claim paper

Read More »

« Prev « First page 59 / 226 Last » Next »