-
Article
A target-oriented segmentation method for specific tissues in MRI images of the brain
The multi-atlas based segmentation method can achieve the accurate segmentation of specific tissues of the human brain in the magnetic resonance imaging (MRI). The correct image registration and fusion scheme ...
-
Article
RGB-D joint modelling with scene geometric information for indoor semantic segmentation
This paper focuses on the problem of RGB-D semantic segmentation for indoor scenes. We introduce a novel gravity direction detection method based on vertical lines fitting combined 2D vision information and 3D...
-
Article
Improving speech transcription by exploiting user feedback and word repetition
Speech Transcription is important for video/audio retrieval and many other applications. In automatic speech transcription, recognition errors are inevitable, which makes user feedback such as manual error cor...
-
Article
A syntactic proof of the conservativity of λω over λ2
In this paper, the relationship between the second order typed λ-calculus λ2 and its higher order version λω is discussed. A purely syntactic proof of the conservativity of λω over λ2 is given.