Sciweavers

1056 search results - page 31 / 212
» A Probabilistic Applied Pi-Calculus
Sort
View
TGC
2010
Springer
13 years 6 months ago
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
Marco Bernardo, Rocco De Nicola, Michele Loreti
BMVC
1998
13 years 10 months ago
Gesture Recognition for Visually Mediated Interaction using Probabilistic Event Trajectories
An approach to gesture recognition is presented in which gestures are modelled probabilistically as sequences of visual events. These events are matched to visual input using prob...
Stephen J. McKenna, Shaogang Gong
EUC
2007
Springer
14 years 2 months ago
On Using Probabilistic Forwarding to Improve HEC-Based Data Forwarding in Opportunistic Networks
In this paper, we propose the HEC-PF scheme, an enhancement of our previous H-EC scheme for effective data forwarding in opportunistic networks. The enhanced scheme modifies the a...
Ling-Jyh Chen, Cheng-Long Tseng, Cheng-Fu Chou
DATE
2005
IEEE
153views Hardware» more  DATE 2005»
14 years 2 months ago
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
Smita Krishnaswamy, George F. Viamontes, Igor L. M...
ISMIS
1994
Springer
14 years 26 days ago
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
Yang Xiang