Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» sac 2011

100

Voted

SAC
2011
ACM

148views Applied Computing» more SAC 2011»

Estimation of prediction error by using K-fold cross-validation

14 years 10 months ago

Download www.ism.ac.jp

Tadayoshi Fushiki

claim paper

Read More »

103

Voted

SAC
2011
ACM

145views Applied Computing» more SAC 2011»

Restricted likelihood inference for generalized linear mixed models

14 years 10 months ago

Download www.stat.unipg.it

Ruggero Bellio, Alessandra R. Brazzale

claim paper

Read More »

156

Voted

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

14 years 6 months ago

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 »

105

Voted

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

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

14 years 6 months ago

Download calab.kaist.ac.kr

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

claim paper

Read More »

128

Voted

SAC
2011
ACM

163views Applied Computing» more SAC 2011»

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

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers