3996 search results - page 201 / 800 » A Publish |
154
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper we present a new model for predicting text entry speed on a 12-button mobile phone keypad. The proposed model can predict the performance of novice users. Like other...
173
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...
153
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper provides a description of designers' work practices in a software company. We describe a participatory analysis of the diversity of working relations and roles of ...
172
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Given a phylogenetic tree T for a family of tandemly repeated genes and their signed order O on the chromosome, we aim to find the minimum number of inversions compatible...
160
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...