4187 search results - page 123 / 838 » A Taxonomy of Model Transformation |
183
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
146
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
167
click to vote
AAAI
2012
13 years 6 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
134
click to vote
DILS
2004
Springer
15 years 9 months ago
2004
Springer
Taxonomists classify biological specimens into groups (taxa) on the basis of similarities between their observed features ('characters'). The description of these 'c...
118
click to vote
ACL
2004
15 years 5 months ago
2004
This paper discusses the application of the Expectation-Maximization (EM) clustering algorithm to the task of Chinese verb sense discrimination. The model utilized rich linguistic...