718 search results - page 26 / 144 » Extraction of Structured Programs from Specification Proofs |
125
click to vote
WWW
2008
ACM
16 years 3 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 ...
169
click to vote
ICASSP
2010
IEEE
14 years 9 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 ...
115
click to vote
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
106
click to vote
ICPR
2006
IEEE
16 years 3 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...
118
click to vote
IDEAL
2009
Springer
15 years 3 days 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 ...