130 search results - page 4 / 26 » Towards Probabilistic Modelling in Event-B |
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
GIS
2009
ACM
14 years 2 days ago
2009
ACM
Time geography uses space-time volumes to represent the possible locations of a mobile agent over time in a x-y-t space. Space-time volumes are qualitative statements, enabling qu...
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
In recent years, many principled probabilistic definitions for the determination of visual saliency have been proposed. Moreover, there has been increased focus on the role of con...
COMMA
2010
13 years 8 days ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
— This paper presents work on sensor-based motion planning in initially unknown dynamic environments. Motion detection and modeling are combined with a smooth navigation function...