This paper discusses navigation issues in large-scale databases and proposes hypermap visualizations as effective navigational views. We describe the ZTree, a technique that allow...
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
The stability, localization and translation rate of mRNAs are regulated by a multitude of RNAbinding proteins (RBPs) that find their targets directly or with the help of guide RNA...
Online social networking sites such as Flickr and Facebook provide a diverse range of functionalities that foster online communities to create and share media content. In particul...
Yu-Ru Lin, Hari Sundaram, Munmun De Choudhury, Ais...
Abstract. An approach for visual information analysis and classification is presented. It is based on a knowledge synthesizing technique to automatically create a relevance map fro...