3864 search results - page 159 / 773 » time 2005 |
142
click to vote
CSL
2005
Springer
16 years 6 hour ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...
162
click to vote
ECML
2005
Springer
16 years 4 hour ago
2005
Springer
We propose in this paper a novel approach to the induction of the structure of Hidden Markov Models. The induced model is seen as a lumped process of a Markov chain. It is construc...
159
click to vote
ER
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
188
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
157
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
We propose a novel algorithm based on random graphs to construct minimal perfect hash functions h. For a set of n keys, our algorithm outputs h in expected time O(n). The evaluatio...