3921 search results - page 250 / 785 » Transforming Models with ATL |
169
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
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...
175
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
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...
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
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...
163
click to vote
IJCV
2002
15 years 6 months ago
2002
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...
183
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
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...