3951 search results - page 158 / 791 » Automatic amortized analysis |
152
Voted
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
106
click to vote
TSD
2005
Springer
15 years 10 months ago
2005
Springer
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
141
click to vote
FORTE
2004
15 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
127
click to vote
COLING
2002
15 years 4 months ago
2002
Dynamic lexical acquisition is a procedure where the lexicon of an NLP system is updated automatically during sentence analysis. In our system, new words and new attributes are pr...
148
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
Automatic pronunciation assessment has several difficulties. Adequacy in controlling the vocal organs is often estimated from the spectral envelopes of input utterances but the en...