Sciweavers

591 search results - page 66 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
MLG
2007
Springer
15 years 6 months ago
Inferring Vertex Properties from Topology in Large Networks
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
Janne Sinkkonen, Janne Aukia, Samuel Kaski
TARK
2007
Springer
15 years 6 months ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
15 years 5 months ago
A Bayesian Framework for Landing Site Selection during Autonomous Spacecraft Descent
– The success of a landed space exploration mission depends largely on the final landing site. Factors influencing site selection include safety, fuel-consumption, and scientific...
Navid Serrano
ILP
2005
Springer
15 years 5 months ago
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
Héctor Corrada Bravo, David Page, Raghu Ram...
SEMWEB
2005
Springer
15 years 5 months ago
Discovery and Uncertainty in Semantic Web Services
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
Francisco Martín-Recuerda, Dave Robertson