Sciweavers

5284 search results - page 200 / 1057
» Sampling search-engine results
Sort
View
ERCIMDL
2010
Springer
180views Education» more  ERCIMDL 2010»
15 years 2 months ago
SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size)
Extracting titles from a PDFs full text is an important task in information retrieval to identify PDFs. Existing approaches apply complicated and expensive (in terms of calculating...
Jöran Beel, Bela Gipp, Ammar Shaker, Nick Fri...
PVLDB
2010
128views more  PVLDB 2010»
14 years 11 months ago
Searching Workflows with Hierarchical Views
Workflows are prevalent in diverse applications, which can be scientific experiments, business processes, web services, or recipes. With the dramatically growing number of workflo...
Ziyang Liu, Qihong Shao, Yi Chen
STTT
2010
116views more  STTT 2010»
14 years 11 months ago
LTL satisfiability checking
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
Kristin Y. Rozier, Moshe Y. Vardi
ICASSP
2011
IEEE
14 years 8 months ago
A segment-level confidence measure for Spoken Document Retrieval
This paper presents a semantic confidence measure that aims to predict the relevance of automatic transcripts for a task of Spoken Document Retrieval (SDR). The proposed predicti...
Grégory Senay, Georges Linares, Benjamin Le...
VLDB
2001
ACM
114views Database» more  VLDB 2001»
15 years 9 months ago
Distinct Sampling for Highly-Accurate Answers to Distinct Values Queries and Event Reports
Estimating the number of distinct values is a wellstudied problem, due to its frequent occurrence in queries and its importance in selecting good query plans. Previous work has sh...
Phillip B. Gibbons