A current high-priority phase of human genomics involves the development of a full Haplotype Map of the human genome [23]. It will be used in large-scale screens of populations to...
Most region based shape image retrieval techniques in literature are complex to implement. As the result of their complex computations, the retrieval performance of these techniqu...
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
The traditional SPM approach based on bag-of-features (BoF) must use nonlinear classifiers to achieve good image classification performance. This paper presents a simple but effec...
In this paper, we propose examining the participants in various meetings or communications within a social network, and using sequential inference based on these participant lists...