Sciweavers

1172 search results - page 36 / 235
» Approximate Reasoning Based on Similarity
Sort
View
WWW
2004
ACM
14 years 9 months ago
Combining link and content analysis to estimate semantic similarity
Search engines use content and link information to crawl, index, retrieve, and rank Web pages. The correlations between similarity measures based on these cues and on semantic ass...
Filippo Menczer
EMMCVPR
2005
Springer
14 years 2 months ago
Extraction of Layers of Similar Motion Through Combinatorial Techniques
In this paper we present a new technique to extract layers in a video sequence. To this end, we assume that the observed scene is composed of several transparent layers, that their...
Romain Dupont, Nikos Paragios, Renaud Keriven, Phi...
LPAR
2010
Springer
13 years 7 months ago
Human and Unhuman Commonsense Reasoning
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
Michael J. Maher
CAV
2005
Springer
122views Hardware» more  CAV 2005»
14 years 2 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
LPNMR
2011
Springer
12 years 12 months ago
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
Thomas Eiter, Michael Fink, Peter Schüller