Sciweavers

393 search results - page 52 / 79
» Abstract Interpretation of Probabilistic Semantics
Sort
View
ECCV
1990
Springer
14 years 9 months ago
Finding Geometric and Relational Structures in an Image
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
Radu Horaud, Francoise Veillon, Thomas Skordas
CORR
2009
Springer
242views Education» more  CORR 2009»
13 years 5 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
ASWC
2009
Springer
14 years 2 months ago
Querying the Web of Data: A Formal Approach
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
Paolo Bouquet, Chiara Ghidini, Luciano Serafini
RSFDGRC
2005
Springer
122views Data Mining» more  RSFDGRC 2005»
14 years 1 months ago
Ordered Belief Fusion in Possibilistic Logic
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
Churn-Jung Liau
ECSQARU
2001
Springer
14 years 10 days ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu