3921 search results - page 185 / 785 » Transforming Models with ATL |
158
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
150
click to vote
IIS
2000
15 years 6 months ago
2000
The Hepar II system is based on a Bayesian network model of a subset of the domain of hepatology in which the structure of the network is elicited from an expert diagnostician and ...
224
click to vote
ESWS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
131
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents an efficient method for the estimation and recovering from nonlinear or local geometrical distortions, such as the random bending attack and restricted project...
174
click to vote
ICMCS
2008
IEEE
15 years 12 months ago
2008
IEEE
H.264/scalable video coding (SVC) is a new compression technique that can adapt to various network environments and applications. However, despite its outstanding performance, H.2...