10910 search results - page 1760 / 2182 » Input modeling using a computer algebra system |
233
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
250
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
186
click to vote
ACL
2008
15 years 9 months ago
2008
Researchers typically evaluate word prediction using keystroke savings, however, this measure is not straightforward. We present several complications in computing keystroke savin...
196
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
We evaluate two systems for automatically generating personalized interfaces adapted to the individual motor capabilities of users with motor impairments. The first system, SUPPLE...
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...