223 search results - page 19 / 45 » Multi-Valued Model Checking via Classical Model Checking |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
ICPR
2010
IEEE
14 years 7 months ago
2010
IEEE
We propose a region-based foreground object segmentation method capable of dealing with image sequences containing noise, illumination variations and dynamic backgrounds (as often...
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
JGO
2011
14 years 11 days ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
ACSC
2007
IEEE
15 years 1 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...