Search Sciweavers | Sciweavers

3608 search results - page 113 / 722

» compute 2011

165

click to vote

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

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

132

click to vote

MVA
2011

230views Computer Vision» more MVA 2011»

Decision tree-based contrast enhancement for various color images

14 years 11 months ago

Download excelsior.cs.ucsb.edu

Chun-Ming Tsai, Zong-Mu Yeh, Yuan-Fang Wang

claim paper

Read More »

132

click to vote

TCSV
2011

191views Theoretical Computer Science» more TCSV 2011»

Depth Coding Using a Boundary Reconstruction Filter for 3-D Video Systems

14 years 11 months ago

Download www.merl.com

Kwan-Jung Oh, Anthony Vetro, Yo-Sung Ho

claim paper

Read More »

110

click to vote

ACL
2011

173views Computational Linguistics» more ACL 2011»

Semantic Information and Derivation Rules for Robust Dialogue Act Detection in a Spoken Dialogue System

14 years 8 months ago

Download www.aclweb.org

Wei-Bin Liang, Chung-Hsien Wu, Chia-Ping Chen

claim paper

Read More »

click to vote

CHI
2011
ACM

203views Human Computer Interaction» more CHI 2011»

Generalizing email messages digests

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers