Sciweavers

777 search results - page 117 / 156
» The Refined Process Structure Tree
Sort
View
150
Voted
DASFAA
2004
IEEE
158views Database» more  DASFAA 2004»
15 years 7 months ago
A Cost Model for Spatial Intersection Queries on RI-Trees
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
129
Voted
CIKM
2006
Springer
15 years 7 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
135
Voted
SPIESR
1993
125views Database» more  SPIESR 1993»
15 years 4 months ago
Self-Aligning and Compressed Autosophy Video Databases
Autosophy, an emerging new science, explains "Self-assembling Structures", such crystals or living trees, in mathematical terms. This research provides a new mathematica...
Klaus Holtz
130
Voted
JLP
2007
114views more  JLP 2007»
15 years 3 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...
137
Voted
JMIV
2007
145views more  JMIV 2007»
15 years 3 months ago
Level Lines Selection with Variational Models for Segmentation and Encoding
Abstract. This paper discusses the interest of the Tree of Shapes of an image as a region oriented image representation. The Tree of Shapes offers a compact and structured represen...
Coloma Ballester, Vicent Caselles, Laura Igual, Ll...