10890 search results - page 389 / 2178 » Automatic Complexity Analysis |
194
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we discuss the use of knowledge for the analysis and semantic retrieval of video. We follow a fuzzy relational approach to knowledge representation, based on which we...
187
click to vote
SP
2008
IEEE
16 years 1 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, ...
131
click to vote
TSD
2005
Springer
16 years 8 days 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 ...
168
click to vote
FORTE
2004
15 years 8 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...
159
click to vote
COLING
2002
15 years 6 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...