Sciweavers

3708 search results - page 515 / 742
» The Inverse Classification Problem
Sort
View
ICFP
2009
ACM
16 years 7 months ago
Complete and decidable type inference for GADTs
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...
STOC
2009
ACM
182views Algorithms» more  STOC 2009»
16 years 7 months ago
Approximating edit distance in near-linear time
We show how to compute the edit distance between two strings of length n up to a factor of 2 ~O( log n) in n1+o(1) time. This is the first sub-polynomial approximation algorithm f...
Alexandr Andoni, Krzysztof Onak
CHI
2009
ACM
16 years 7 months ago
Tabletop displays for small group study: affordances of paper and digital materials
In this paper we compare the affordances of presenting educational material on a tabletop display with presenting the same material using traditional paper handouts. Ten pairs of ...
Anne Marie Piper, James D. Hollan
KDD
2004
ACM
123views Data Mining» more  KDD 2004»
16 years 7 months ago
A DEA approach for model combination
This paper proposes a novel Data Envelopment Analysis (DEA) based approach for model combination. We first prove that for the 2-class classification problems DEA models identify t...
Zhiqiang Zheng, Balaji Padmanabhan, Haoqiang Zheng
CHI
2007
ACM
16 years 7 months ago
Designing mobile phone interface with children
This paper presents the design and evaluation of a mobile phone interface with and for children. Ten children aged 8-13 years old took part in a participatory design process and t...
Xiaowei Cao, Sri Hastuti Kurniawan