Search Sciweavers | Sciweavers

17129 search results - page 352 / 3426

» Applied Computing

141

click to vote

SAC
2010
ACM

143views Applied Computing» more SAC 2010»

Bilinear modulation models for seasonal tables of counts

15 years 1 months ago

Download www.stat.lsu.edu

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

claim paper

Read More »

213

click to vote

PERVASIVE
2011
Springer

250views Applied Computing» more PERVASIVE 2011»

A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home

14 years 9 months ago

Download www.cs.washington.edu

Jon Froehlich, Eric Larson, Elliot Saba, Tim Campb...

claim paper

Read More »

154

click to vote

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

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

14 years 9 months ago

Download calab.kaist.ac.kr

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

claim paper

Read More »

171

Voted

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

Download portal.cin.ufpe.br

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

claim paper

Read More »

214

click to vote

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

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

« Prev « First page 352 / 3426 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers