1078 search results - page 158 / 216 » Modelling and Verifying of e-Commerce Systems |
139
click to vote
ARGMAS
2008
Springer
15 years 6 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
139
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
In this paper a novel, Gibbs sampler-based algorithm is proposed for coordination of autonomous swarms. The swarm is modeled as a Markov random field (MRF) on a graph with a time-...
119
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
157
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
120
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
— It is well known that edge filters in the visual system can be generated by the InfoMax principle. But, such models are nonlinear and employ fully-connected network structures...