Sciweavers

SWAP
2008
13 years 5 months ago
Learning SHIQ+log Rules for Ontology Evolution
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
Francesca A. Lisi, Floriana Esposito
ICMLA
2008
13 years 5 months ago
Image Segmentation as Learning on Hypergraphs
In this paper, we propose to use hypergraphs as the model for images and pose image segmentation as a machine learning problem in which some pixels (called seeds) are labeled as t...
Lei Ding, Alper Yilmaz
COCOON
1995
Springer
13 years 8 months ago
Constructing Craig Interpolation Formulas
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
Guoxiang Huang
DAGM
2009
Springer
13 years 11 months ago
Face Reconstruction from Skull Shapes and Physical Attributes
Reconstructing a person’s face from its skeletal remains is a task that has over many decades fascinated artist and scientist alike. In this paper we treat facial reconstruction ...
Pascal Paysan, Marcel Lüthi, Thomas Albrecht,...