Sciweavers

42 search results - page 7 / 9
» Automatic Extraction of Definitions in Portuguese: A Rule-Ba...
Sort
View
IPM
2007
149views more  IPM 2007»
14 years 11 months ago
Web page title extraction and its application
This paper is concerned with automatic extraction of titles from the bodies of HTML documents (web pages). Titles of HTML documents should be correctly defined in the title fields...
Yewei Xue, Yunhua Hu, Guomao Xin, Ruihua Song, Shu...
CADE
2010
Springer
15 years 21 days ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
Markus Aderhold
ICIP
2003
IEEE
16 years 1 months ago
An ontology approach to object-based image retrieval
In this paper, an image retrieval methodology suited for search in large collections of heterogeneous images is presented. The proposed approach employs a fully unsupervised segme...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
DEXA
2011
Springer
234views Database» more  DEXA 2011»
13 years 11 months ago
Learning Top-k Transformation Rules
Record linkage identifies multiple records referring to the same entity even if they are not bit-wise identical. It is thus an essential technology for data integration and data c...
Sunanda Patro, Wei Wang
CBMS
2006
IEEE
15 years 5 months ago
A Decision Support System for the Diagnosis of Coronary Artery Disease
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...