1855 search results - page 245 / 371 » Probabilistic Frame-Based Systems |
103
click to vote
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
ICWE
2007
Springer
15 years 4 months ago
2007
Springer
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
ICDM
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we investigate the use of data mining, in particular the text classification and co-training techniques, to identify more relevant passages based on a small set of...