Intracoronary UltraSound (IVUS) imaging allows to obtain high resolution images of internal part of coronary arteries. This tool is unique in the possibility to explore internal ve...
Carlo Gatta, Oriol Pujol, Oriol Rodriguez-Leor, ...
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Due to the subjective nature of human perception, classification of the emotion of music is a challenging problem. Simply assigning an emotion class to a song segment in a determi...
In this paper, we propose Responsive Multimedia System (RMS) for a virtual storytelling. It consists of three key components; Multi-modal Tangible User Interface (MTUI), a Unified ...
Youngho Lee, Sejin Oh, Youngmin Park, Beom-Chan Le...
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...