2517 search results - page 400 / 504 » Specifying Weak Sets |
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
188
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...
154
click to vote
CSDA
2006
15 years 6 months ago
2006
Following the work of Hurvich, Shumway, and Tsai (1990), we propose an "improved" variant of the Akaike information criterion, AICi, for state-space model selection. The...
148
click to vote
CSDA
2006
15 years 6 months ago
2006
An approach to simultaneous document classification and word clustering is developed using a two-way mixture model of Poisson distributions. Each document is represented by a vect...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...