Sciweavers

3890 search results - page 580 / 778
» Computation of unirational fields
Sort
View
CHI
2003
ACM
16 years 7 months ago
Mobile phones for the next generation: device designs for teenagers
In this paper, we demonstrate how ethnographic fieldwork studies can be used to inform the design of third generation mobile phones. We draw on a field study of teenage mobile pho...
Sara Berg, Alex S. Taylor, Richard H. R. Harper
CHI
2003
ACM
16 years 7 months ago
Can you see what i hear?: the design and evaluation of a peripheral sound display for the deaf
We developed two visual displays for providing awareness of environmental audio to deaf individuals. Based on fieldwork with deaf and hearing participants, we focused on supportin...
F. Wai-ling Ho-Ching, Jennifer Mankoff, James A. L...
CHI
2002
ACM
16 years 7 months ago
Technologies for families
We describe the design and use of a system facilitating the sharing of calendar information between remotely located, multi-generational family members. Most previous work in this...
Catherine Plaisant, Allison Druin, Hilary Hutchins...
RECOMB
2006
Springer
16 years 7 months ago
CONTRAlign: Discriminative Training for Protein Sequence Alignment
In this paper, we present CONTRAlign, an extensible and fully automatic framework for parameter learning and protein pairwise sequence alignment using pair conditional random field...
Chuong B. Do, Samuel S. Gross, Serafim Batzoglou
CADE
2004
Springer
16 years 7 months ago
TaMeD: A Tableau Method for Deduction Modulo
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
Richard Bonichon