Sciweavers

SWAP
2008
14 years 10 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
14 years 10 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
79
Voted
COCOON
1995
Springer
15 years 13 days 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
15 years 3 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,...