This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
This paper proposes a new HDR imaging method in the gradient domain based on the fusion of two images with different exposure. We first formulate an energy function for the binar...
A new method for scale-aware saliency detection is introduced in this work. Scale determination is realized through a fast scale-space algorithm using color and texture. Scale inf...
Two-dimensional speckle tracking methods have shown great promise in imaging tissue motion and deformations in the vicinity of blood vessels offering the promise of new methods fo...
This paper presents a novel method for inferring the odor based on neural activities observed from rats’ main olfactory bulbs. Multi-channel extra-cellular single unit recording...