844 search results - page 66 / 169 » aim 2004 |
VOSS
2004
Springer
14 years 3 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
3DPVT
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper develops a digital watermarking methodology for 3-D graphical objects defined by polygonal meshes. In watermarking or fingerprinting the aim is to embed a code in a giv...
AINA
2004
IEEE
14 years 1 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
AMDO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A new algorithm for the incremental learning and non-intrusive tracking of the appearance of a previously non-seen face is presented. The computation is done in a causal ...
APCHI
2004
IEEE
14 years 1 months ago
2004
IEEE
We interviewed 26 information architects about their work, their backgrounds and their perceptions of their roles as information architects. Our research aimed to identify and unde...