1855 search results - page 245 / 371 » Probabilistic Frame-Based Systems |
199
click to vote
PRDC
2007
IEEE
16 years 18 days 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...
183
click to vote
QEST
2007
IEEE
16 years 18 days 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...
165
click to vote
ICWE
2007
Springer
16 years 15 days 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 ...
178
click to vote
CSFW
2006
IEEE
16 years 12 days 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...
160
click to vote
ICDM
2006
IEEE
16 years 11 days 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...