2374 search results - page 314 / 475 » Automatic Generation of Model Translations |
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
181
click to vote
ICB
2007
Springer
16 years 19 days ago
2007
Springer
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
164
click to vote
AIIA
2005
Springer
16 years 18 hour ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
180
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
161
click to vote
BMVC
2002
15 years 8 months ago
2002
This paper describes a novel system for building seamless texture maps for a surface of arbitrary topology from real images of the object taken with a standard digital camera and ...