Sciweavers

2853 search results - page 512 / 571
» On the Efficiency of Provenance Queries
Sort
View
CIKM
2006
Springer
15 years 3 months ago
A system for query-specific document summarization
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...
Ramakrishna Varadarajan, Vagelis Hristidis
DAS
2006
Springer
15 years 3 months ago
Toward File Consolidation by Document Categorization
An efficient adaptive document classification and categorization approach is proposed for personal file creation corresponding to user's specific needs and profile. This kind ...
Abdel Belaïd, André Alusse
CCGRID
2003
IEEE
15 years 3 months ago
Improving Access to Multi-dimensional Self-describing Scientific Dataset
Applications that query into very large multidimensional datasets are becoming more common. Many self-describing scientific data file formats have also emerged, which have structu...
Beomseok Nam, Alan Sussman
COMPGEOM
2001
ACM
15 years 3 months ago
Segment intersection searching problems in general settings
We consider segment intersection searching amidst (possibly intersecting) algebraic arcs in the plane. We show how to preprocess n arcs in time O(n2+ ) into a data structure of si...
Vladlen Koltun
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 3 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl