5525 search results - page 389 / 1105 » Verification of Model Transformations |
143
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
186
click to vote
ISCAS
1999
IEEE
15 years 11 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...
182
click to vote
IIS
2000
15 years 8 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 ...
155
click to vote
ICIP
2001
IEEE
16 years 8 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...
218
click to vote
ICMCS
2008
IEEE
16 years 1 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...