3984 search results - page 508 / 797 » A Model-Driven Transformation Method |
167
click to vote
FORMATS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
161
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Digital subtraction is a promising technique used in radiographic studies of periapical lesions and other dental disorders for which the treatment must be evaluated over time. Thi...
165
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
161
click to vote
IFM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
168
click to vote
PAKDD
2005
ACM
16 years 1 days ago
2005
ACM
We study the problem of mining frequent value sets from a large sensor network. We discuss how sensor stream data could be represented that facilitates efficient online mining and ...