Sciweavers

3987 search results - page 263 / 798
» Ontology-Based Model Transformation
Sort
View
ECCV
2008
Springer
15 years 8 months ago
Shape-Based Retrieval of Heart Sounds for Disease Similarity Detection
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
Tanveer Fathima Syeda-Mahmood, Fei Wang
ESTIMEDIA
2008
Springer
15 years 8 months ago
Translating data flow to synchronous block diagrams
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
Roberto Lublinerman, Stavros Tripakis
DAGSTUHL
2007
15 years 8 months ago
Some Experiments on Tiling Loop Programs for Shared-Memory Multicore Architectures
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...
Armin Größlinger
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
IJCV
2002
172views more  IJCV 2002»
15 years 6 months ago
Using Multiple-Hypothesis Disparity Maps and Image Velocity for 3-D Motion Estimation
In this paper we explore a multiple hypothesis approach to estimating rigid motion from a moving stereo rig. More precisely, we introduce the use of Gaussian mixtures to model cor...
David Demirdjian, Trevor Darrell