Sciweavers

935 search results - page 77 / 187
» Stable models and difference logic
Sort
View
ICDE
1992
IEEE
126views Database» more  ICDE 1992»
14 years 2 months ago
Logical Database Design with Inclusion Dependencies
Contrary to popular belief, relation schemes in good classical normal forms are not necessarily devoid of redundancies. This arises from the fact that classical data dependencies ...
Tok Wang Ling, Cheng Hian Goh
DLOG
2010
13 years 8 months ago
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
Yue Ma, Pascal Hitzler
ISCIS
2004
Springer
14 years 3 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
AMAI
2008
Springer
13 years 10 months ago
Bayesian learning of Bayesian networks with informative priors
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
Nicos Angelopoulos, James Cussens
3DIM
2007
IEEE
14 years 4 months ago
Tracking of Human Body Parts using the Multiocular Contracting Curve Density Algorithm
In this contribution we introduce the Multiocular Contracting Curve Density algorithm (MOCCD), a novel method for fitting a 3D parametric curve. The MOCCD is integrated into a tr...
Markus Hahn, Lars Krüger, Christian Wöhl...