718 search results - page 26 / 144 » Extraction of Structured Programs from Specification Proofs |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
ICASSP
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper presents a Named Entity Recognition (NER) method dedicated to process speech transcriptions. The main principle behind this method is to collect in an unsupervised way ...
SIGMOD
1998
ACM
14 years 27 days ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
IDEAL
2009
Springer
13 years 6 months ago
2009
Springer
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...