3921 search results - page 580 / 785 » Transforming Models with ATL |
133
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
143
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
153
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...
241
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
In spite of the initialization problem, the ExpectationMaximization (EM) algorithm is widely used for estimating the parameters in several data mining related tasks. Most popular ...
125
click to vote
MIAR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...