Sciweavers

3005 search results - page 356 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
ERCIMDL
2006
Springer
108views Education» more  ERCIMDL 2006»
15 years 10 months ago
The Use of Summaries in XML Retrieval
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...
Zoltán Szlávik, Anastasios Tombros, ...
LPAR
2012
Springer
14 years 2 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
SAC
2010
ACM
16 years 1 months ago
Enhancing document structure analysis using visual analytics
During the last decade national archives, libraries, museums and companies started to make their records, books and files electronically available. In order to allow efficient ac...
Andreas Stoffel, David Spretke, Henrik Kinnemann, ...
SAC
2008
ACM
15 years 6 months ago
Adding background knowledge to formal concept analysis via attribute dependency formulas
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
Radim Belohlávek, Vilém Vychodil
ICDM
2003
IEEE
136views Data Mining» more  ICDM 2003»
15 years 12 months ago
Statistical Relational Learning for Document Mining
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
Alexandrin Popescul, Lyle H. Ungar, Steve Lawrence...