5525 search results - page 266 / 1105 » Verification of Model Transformations |
104
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The use of speaker adaptation transforms as features for speaker recognition is an appealing alternative to conventional short-term cepstral features. In general, this kind of met...
151
Voted
JOT
2008
15 years 5 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
192
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
143
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
129
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...