Sciweavers

101 search results - page 12 / 21
» Evaluating topic models for digital libraries
Sort
View
ICDAR
2007
IEEE
15 years 6 months ago
Bibliographic Attributes Extraction with Layer-upon-Layer Tagging
Bibliographic attributes extraction is an important research topic for digital libraries. In this paper we propose a rule-based method for bibliographic attributes extraction with...
W. Wei, I. King, J. H.-M. Lee
APLAS
2010
ACM
14 years 12 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
CIKM
2011
Springer
13 years 11 months ago
Simultaneous joint and conditional modeling of documents tagged from two perspectives
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
Pradipto Das, Rohini K. Srihari, Yun Fu
JCDL
2004
ACM
97views Education» more  JCDL 2004»
15 years 5 months ago
Realistic books: a bizarre homage to an obsolete medium?
: For many readers, handling a physical book is an enjoyably exquisite part of the information seeking process. Many physical characteristics of a book—its size, heft, the patina...
Yi-Chun Chu, David Bainbridge, Matt Jones, Ian H. ...
CORR
2011
Springer
139views Education» more  CORR 2011»
14 years 6 months ago
A Science Model Driven Retrieval Prototype
This paper is about a better understanding on the structure and dynamics of science and the usage of these insights for compensating the typical problems that arises in metadata-d...
Philipp Mayr, Philipp Schaer, Peter Mutschke