We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

The odds ratio is one of the main measures of association in 2× 2 tables. For larger tables, summary measures of association have been proposed as well as modeling strategies, where the odds ratios can be deduced from the parameters of a model. We propose a computationally simple scaling methodology, which gives a summary measure of association and a visualization of the odds ratio structure. D...

Summarizing topological relations is fundamental to many spatial applications including spatial query optimization. In this paper, we examine the selectivity estimation for range window query to summarize the four important topological relations: contains, contained, overlap, and disjoint. We propose a novel hybrid histogrammethod which uses the concept of Min-skew partition in conjunction with...

We are developing an automatic method to compile an encyclopedic corpus from the Web. In our previous work, paragraph-style descriptions for a term are extracted from Web pages and organized based on domains. However, these descriptions are independent and do not comprise a condensed text as in hand-crafted encyclopedias. To resolve this problem, we propose a summarization method, which produce...

This paper presents a novel answer summarization approach for community Question Answering services (cQAs) to address the problem of “incomplete answer”, i.e., missing valuable information from the “best answer” of a complex multi-sentence question, which can be obtained from other answers to the same question. Our method automatically generate a novel and non-redundant summary from cQA answers...

When making clinical decisions, practitioners need to rely on the most relevant evidence available. However, accessing a vast body of medical evidence and confronting the issue of information overload, can be challenging and time consuming. This paper proposes an effective summarizer for medical evidence by utilizing both UMLS and WordNet. Given a clinical query and a set of relevant abstracts,...

Among the large number of microfluidic components realized up to now, micropumps clearly represent the case of a “long runner” in science. A brief literature review reveals, that one of the first scientific papers on a micropump dates from 1978 [4], which is more than two decades ago. An increasing number of publications is found from that time on representing widespread research activities, an...

Summarizing document texts at various levels of detail is required for many information selection tasks. For instance, when loading and visualizing documents on small screens of handheld devices, it is important to be able to dynamically compress texts. In this article we discuss a technique of generating hierarchical topic trees of a text and to use them in various ways to build summaries of a...

One of the key challenges of dynamic analysis approaches is that they imply a huge volume of data, thus making it difficult to extract high level views. In this paper we describe a novel approach to trace summarization by visually representing entire traces as signals in time. Our technique produces a visualization of the complete feature space of a system that fits on one page. The focus of ou...

Driven by a cognitive perspective of the human summarization process, we address the problem of assessing the most relevant information of a single spoken language document, by minimizing the influence of distracting content, of which passages particularly affected by spoken language-related problems are major representatives. Two different approaches are considered. One, based only on the inpu...