14809 search results - page 312 / 2962 » Model transformation by demonstration |
254
click to vote
ESWS
2009
Springer
15 years 4 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...
151
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...
210
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...
131
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, an efficient cost function for mode decision in H.264/AVC is proposed. The proposed cost function is based on integer transform coefficients, where the rate and the...
169
click to vote
MIAR
2006
IEEE
16 years 22 days ago
2006
IEEE
Positron Emission Tomography (PET) is an established functional imaging modality but its practical deployment is hampered by motion artefacts. This paper proposes a method for corr...