4245 search results - page 533 / 849 » Input Modeling |
173
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We propose an algorithm for the 3-D reconstruction of DNA filaments from a pair of stereo cryo-electron micrographs. The underlying principle is to specify a 3-D model of a filame...
158
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
194
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
137
Voted
CHI
2003
ACM
16 years 7 months ago
2003
ACM
The success of mobile text messaging poses many questions for usability studies. Considering the inherent usability weaknesses of mobile phones such as the small display, poor inp...
185
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...