998 search results - page 119 / 200 » From Feasible Proofs to Feasible Computations |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
SDM
2009
SIAM
14 years 7 months ago
2009
SIAM
Co-authorship networks, an important type of social networks, have been studied extensively from various angles such as degree distribution analysis, social community extraction a...
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Despite the considerable quantity of research directed towards multitouch technologies, a set of standardized UI components have not been developed. Menu systems provide a particu...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Accelerated by the technological advances in the domain, the size of the biomedical literature has been growing rapidly. As a result, it is not feasible for individual researchers...