Sciweavers

132 search results - page 5 / 27
» Mapping Validation by Probabilistic Reasoning
Sort
View
IJVR
2008
155views more  IJVR 2008»
13 years 7 months ago
Affective Model for Intelligent Virtual Agent Based on PFCM
This paper describes the architecture for a virtual agent and the implementation of its Affection Module. A novel affective model is proposed based on Probabilistic Fuzzy Cognitive...
Lin Shi, Zhiliang Wang, Zhigang Li
CONCUR
1994
Springer
13 years 11 months ago
Composition and Behaviors of Probabilistic I/O Automata
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
GIS
2010
ACM
13 years 5 months ago
Probabilistic modeling of traffic lanes from GPS traces
Instead of traditional ways of creating road maps, an attractive alternative is to create a map based on GPS traces of regular drivers. One important aspect of this approach is to...
Yihua Chen, John Krumm
DLOG
2011
12 years 11 months ago
The Complexity of Probabilistic EL
We analyze the complexity of subsumption in probabilistic variants of the description logic EL. In the case where probabilities apply only to concepts, we map out the borderline be...
Jean Christoph Jung, Víctor Gutiérre...
LICS
2003
IEEE
14 years 22 days ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska