Sciweavers

3760 search results - page 55 / 752
» Logic-Based Probabilistic Modeling
Sort
View
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 9 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
UM
2005
Springer
15 years 5 months ago
Data-Driven Refinement of a Probabilistic Model of User Affect
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...
Cristina Conati, Heather Maclaren
ICPR
2010
IEEE
15 years 1 months ago
Learning Probabilistic Models of Contours
We present a methodology for learning spline-based probabilistic models for sets of contours, proposing a new Monte Carlo variant of the EM algorithm to estimate the parameters of...
Laure Amate, Maria João Rendas
ECCV
2002
Springer
16 years 1 months ago
A Probabilistic Multi-scale Model for Contour Completion Based on Image Statistics
We derive a probabilistic multi-scale model for contour completion based on image statistics. The boundaries of human segmented images are used as "ground truth". A prob...
Xiaofeng Ren, Jitendra Malik
ATAL
2010
Springer
15 years 2 days ago
A probabilistic model for trust and reputation
This paper concerns the problem of agent trust in an electronic market place. We maintain that agent trust involves making decisions under uncertainty and therefore the phenomenon...
George Vogiatzis, Ian MacGillivray, Maria Chli