Sciweavers

11030 search results - page 72 / 2206
» Generative Sound Models
Sort
View
MICCAI
2008
Springer
14 years 11 months ago
Robust Image-Based IVUS Pullbacks Gating
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, ...
CADE
2008
Springer
14 years 10 months ago
Automated Induction with Constrained Tree Automata
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...
Adel Bouhoula, Florent Jacquemard
MM
2006
ACM
132views Multimedia» more  MM 2006»
14 years 3 months ago
Music emotion classification: a fuzzy approach
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...
Yi-Hsuan Yang, Chia Chu Liu, Homer H. Chen
PCM
2005
Springer
82views Multimedia» more  PCM 2005»
14 years 3 months ago
Responsive Multimedia System for Virtual Storytelling
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...
SPIN
2005
Springer
14 years 3 months ago
Repairing Structurally Complex Data
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...
Sarfraz Khurshid, Iván García, Yuk L...