755 search results - page 120 / 151 » Sequential Diagnosis by Abstraction |
UC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
AVBPA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
EUROCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This work compares different metaheuristics techniques applied to an important problem in natural language: tagging. Tagging amounts to assigning to each word in a text ...