Sciweavers

1561 search results - page 87 / 313
» Probability Theory on IF Events
Sort
View
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
15 years 4 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
IAT
2006
IEEE
15 years 3 months ago
Storytelling Ontology Model Using RST
Storytelling applications are increasingly being used and researched due to the fact that they are capable of conveying information and experience to users in a more natural and f...
Arturo Nakasone, Mitsuru Ishizuka
BIRTHDAY
2004
Springer
15 years 3 months ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
QEST
2008
IEEE
15 years 4 months ago
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye...
UAI
1993
14 years 11 months ago
Inference Algorithms for Similarity Networks
We examine two types of similarity networks each based on a distinct notion of relevance. For both types of similarity networks we present an efficient inference algorithm that wo...
Dan Geiger, David Heckerman