Video surveillance systems produce huge amounts of data for storage and display. Long-term human monitoring of the acquired video is impractical and ineffective. Automatic abnorma...
Although magnetic resonance imaging is considered to be non-invasive, there is at least one effect on the patient which has to be monitored: The heating which is generated by absor...
Andreas Keil, Christian Wachinger, Gerhard Brinker...
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
In this paper, a novel feature named Adaptive Contour
Feature (ACF) is proposed for human detection and segmentation.
This feature consists of a chain of a number of
granules in...
Wei Gao (Tsinghua University), Haizhou Ai (Tsinghu...