Sciweavers

591 search results - page 66 / 119
» Probabilistic Assumption-Based Reasoning
Sort
View
MLG
2007
Springer
16 years 4 days 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
16 years 3 days 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»
16 years 18 hour 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 11 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 11 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