In this paper, we present a novel approach to classify texture collections. This approach does not require experts to provide annotated training set. Given the image collection, w...
Lei Qin, Qingfang Zheng, Shuqiang Jiang, Qingming ...
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
Background: Biological resources are essential tools for biomedical research. Their availability is promoted through on-line catalogues. Common Access to Biological Resources and ...
Paolo Romano, Peter Dawyndt, Francesca Piersigilli...
—We present a method for spotting a subgraph in a graph repository. Subgraph spotting is a very interesting research problem for various application domains where the use of a re...
Muhammad Muzzamil Luqman, Jean-Yves Ramel, Josep L...
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...