The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....
Giulia Gastaldi, Alessandro Pareschi, Silvio P. Sa...
We present a new semi-automatic segmentation tool, which is motivated by the Intelligent Scissors algorithm [1], but which uses a modified concept of user-interaction. This new in...
Dirk Farin, Magnus Pfeffer, Peter H. N. de With, W...
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...