3690 search results - page 432 / 738 » Computation with classical sequents |
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we propose a new method for computing and applying language model look-ahead in a dynamic network decoder, exploiting the sparseness of backing-off n-gram language ...
178
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We present Pinstripe, a textile user interface element for eyes-free, continuous value input on smart garments that uses pinching and rolling a piece of cloth between your finger...
198
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Text-based passwords are the most common mechanism for authenticating humans to computer systems. To prevent users from picking passwords that are too easy for an adversary to gue...
154
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
When pointing to a target on a computer desktop, we may think we are taking the shortest possible path. But new shortcuts become possible if we allow the mouse cursor to jump from...
189
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...