3921 search results - page 126 / 785 » Transforming Models with ATL |
CORR
2008
Springer
15 years 23 days ago
2008
Springer
In this paper, we propose in Dezert-Smarandache Theory (DSmT) framework, a new probabilistic transformation, called DSmP, in order to build a subjective probability measure from an...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The purpose of this paper is to develop parameter transformation strategies that improve the accuracy of the Variational Bayes (VB) approximation. The idea is to find a transform...
84
Voted
ACL
2008
15 years 2 months ago
2008
This paper investigates transforms of split dependency grammars into unlexicalised context-free grammars annotated with hidden symbols. Our best unlexicalised grammar achieves an ...
108
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Kernel associative memory (KAM) has previously been proposed as an efficient scheme for face recognition. In this paper, a hybrid method of combining KAM and Gabor wavelet transfo...
109
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...