1405 search results - page 33 / 281 » We Are No Longer A Priesthood |
99
Voted
FUIN
2007
15 years 14 days ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
94
Voted
ACL
2009
14 years 10 months ago
2009
In this paper, we propose a novel method for semi-supervised learning of nonprojective log-linear dependency parsers using directly expressed linguistic prior knowledge (e.g. a no...
78
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
The context in which a speech-driven application is used (or conversely not used) can be an important signal for recognition engines, and for spoken interface design. Using large-...
145
click to vote
ICDCSW
2011
IEEE
14 years 4 days ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...