Sciweavers

7335 search results - page 408 / 1467
» Scene Based Reasoning
Sort
View
FLAIRS
2003
15 years 6 months ago
When Regions Start to Move
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
Hans W. Guesgen
IJAR
2008
91views more  IJAR 2008»
15 years 5 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
IJAR
2008
108views more  IJAR 2008»
15 years 5 months ago
Extending uncertainty formalisms to linear constraints and other complex formalisms
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
Nic Wilson
151
Voted
DLOG
2011
14 years 8 months ago
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
Szymon Klarman, Víctor Gutiérrez-Bas...
ICIP
2009
IEEE
16 years 6 months ago
Image Tamper Detection Based On Demosaicing Artifacts
In this paper, we introduce tamper detection techniques based on artifacts created by Color Filter Array (CFA) processing in most digital cameras. The techniques are based on comp...