Search Sciweavers | Sciweavers

32 search results - page 1 / 7

» sac 2011

click to vote

SAC
2011
ACM

148views Applied Computing» more SAC 2011»

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

12 years 11 months ago

Download www.ism.ac.jp

Tadayoshi Fushiki

claim paper

Read More »

click to vote

SAC
2011
ACM

145views Applied Computing» more SAC 2011»

Restricted likelihood inference for generalized linear mixed models

12 years 11 months ago

Download www.stat.unipg.it

Ruggero Bellio, Alessandra R. Brazzale

claim paper

Read More »

click to vote

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

12 years 7 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 »

click to vote

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

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

12 years 7 months ago

Download calab.kaist.ac.kr

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

claim paper

Read More »

click to vote

SAC
2011
ACM

163views Applied Computing» more SAC 2011»

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

12 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers