Sciweavers

823 search results - page 125 / 165
» A taxonomy of argumentation models used for knowledge repres...
Sort
View
JODS
2008
123views Data Mining» more  JODS 2008»
15 years 1 months ago
The Harmony Integration Workbench
A key aspect of any data integration endeavor is determining the relationships between the source schemata and the target schema. This schema integration task must be tackled regar...
Peter Mork, Len Seligman, Arnon Rosenthal, Joel Ko...
KI
2007
Springer
15 years 7 months ago
From Distributed Vision Networks to Human Behavior Interpretation
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
Hamid K. Aghajan, Chen Wu
ICDE
2006
IEEE
115views Database» more  ICDE 2006»
15 years 7 months ago
Integration Workbench: Integrating Schema Integration Tools
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
Peter Mork, Arnon Rosenthal, Leonard J. Seligman, ...
KR
2010
Springer
15 years 6 months ago
Probabilistic Description Logics for Subjective Uncertainty
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
Carsten Lutz, Lutz Schröder
JCP
2008
116views more  JCP 2008»
15 years 1 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...