110 search results - page 6 / 22 » A Stochastic Semantics for BioAmbients |
ENTCS
2006
13 years 7 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
CORR
2009
Springer
13 years 5 months ago
2009
Springer