Sciweavers

2291 search results - page 176 / 459
» Representational Reasoning and Verification
Sort
View
138
Voted
ICPR
2004
IEEE
16 years 7 months ago
Information Fusion in Face Identification
Information Fusion of multi-modal Biometrics has attracted much attention in recent years. However, this paper focuses on the information fusion in single modals, that is, the fac...
Bo Cao, Peng Yang, Shiguang Shan, Wen Gao, Wenchao...
204
Voted
EWCBR
1993
Springer
15 years 10 months ago
Knowledge Engineering Requirements in Derivational Analogy
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
Padraig Cunningham, Donal Finn, Seán Slatte...
ICLP
2010
Springer
15 years 5 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
266
Voted
GIS
2007
ACM
16 years 7 months ago
Multi-scale dual morse complexes for representing terrain morphology
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
Emanuele Danovaro, Leila De Floriani, Maria Vitali...
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl