Sciweavers

1664 search results - page 31 / 333
» Towards Partial Reasoning
Sort
View
SEMWEB
2009
Springer
15 years 7 months ago
Combining Semantic Web Search with the Power of Inductive Reasoning
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga,...
CSFW
2005
IEEE
15 years 6 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
ISBI
2004
IEEE
16 years 1 months ago
Variational Methods and Partial Differential Equations in Cardiac Image Analysis
Cardio-vascular diseases is a major cause of deaths worldwide. Early diagnosis is quite often associated with more efficient treatment leading to a significant decrease of the mor...
Nikos Paragios
CP
2004
Springer
15 years 6 months ago
Streamlined Constraint Reasoning
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
Carla P. Gomes, Meinolf Sellmann
AAAI
2007
15 years 3 months ago
On the Partial Observability of Temporal Uncertainty
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
Michael D. Moffitt