Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» sac 2011

119

Voted

SAC
2011
ACM

148views Applied Computing» more SAC 2011»

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

15 years 1 days ago

Download www.ism.ac.jp

Tadayoshi Fushiki

claim paper

Read More »

125

Voted

SAC
2011
ACM

145views Applied Computing» more SAC 2011»

Restricted likelihood inference for generalized linear mixed models

15 years 1 days ago

Download www.stat.unipg.it

Ruggero Bellio, Alessandra R. Brazzale

claim paper

Read More »

176

Voted

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

14 years 8 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 »

131

Voted

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

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

14 years 8 months ago

Download calab.kaist.ac.kr

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

claim paper

Read More »

147

Voted

SAC
2011
ACM

163views Applied Computing» more SAC 2011»

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

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers