Sciweavers

3885 search results - page 239 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
DAGSTUHL
2007
15 years 7 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 5 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
ML
2002
ACM
223views Machine Learning» more  ML 2002»
15 years 5 months ago
Text Categorization with Support Vector Machines. How to Represent Texts in Input Space?
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
Edda Leopold, Jörg Kindermann
ICASSP
2010
IEEE
15 years 4 months ago
GHT based implementation of the expectation maximization for mixtures of multi-Gaussians and its applications to video tracking
In this work, the problem of the estimation of parameters in case of mixtures of models composed by the sum of multiple Gaussians is considered. It will be shown how this estimati...
Francesco Monti, Carlo S. Regazzoni