Image mining presents special characteristics due to the richness of the data that an image can show. Effective evaluation of the results of image mining by content requires that ...
THE AVAILABILITY IN ELECTRONIC FORMAT OF scholarly and scientific literatures and other forms of information relevant to the needs of library users has profoundly altered the chal...
A prerequisite for all higher level information extraction tasks is the identication of unknown names in text. Today, when large corpora can consist of billions of words, it is of...
Abstract. One of the de ning challenges for the KDD research community is to enable inductive learning algorithms to mine very large databases. This paper summarizes, categorizes, ...
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...