Sciweavers

41 search results - page 6 / 9
» Incremental summarization using taxonomy
Sort
View
ICSE
2000
IEEE-ACM
13 years 10 months ago
An inheritance-based technique for building simulation proofs incrementally
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexand...
ER
1992
Springer
159views Database» more  ER 1992»
13 years 11 months ago
Meta Object Management and its Application to Database Evolution
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
Markus Tresch, Marc H. Scholl
ACL
2011
12 years 10 months ago
Jointly Learning to Extract and Compress
We learn a joint model of sentence extraction and compression for multi-document summarization. Our model scores candidate summaries according to a combined linear model whose fea...
Taylor Berg-Kirkpatrick, Dan Gillick, Dan Klein
SIGKDD
2010
161views more  SIGKDD 2010»
13 years 5 months ago
Survey on social tagging techniques
Social tagging on online portals has become a trend now. It has emerged as one of the best ways of associating metadata with web objects. With the increase in the kinds of web obj...
Manish Gupta, Rui Li, Zhijun Yin, Jiawei Han
BMCBI
2011
13 years 2 months ago
Bio: : Phylo - phyloinformatic analysis using Perl
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
Rutger A. Vos, Jason Caravas, Klaas Hartmann, Mark...