A Genetic Programming based boosting ensemble method for the classification of distributed streaming data is proposed. The approach handles flows of data coming from multiple loc...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...
Conventional mutual information (MI)-based registration using pixel intensities is time-consuming and ignores spatial information, which can lead to misalignment. We propose a met...
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...
In the proposed work a method for generating HDR images based on exposure blending is described. Using three differently exposed images a single image with recovered details in sha...
This paper describes a novel image registration method for movementcorrection of fMR time-series. It is important to align the fMR images in the time-series before time-dependent a...