Sciweavers

3888 search results - page 286 / 778
» Change-Driven Model Transformations
Sort
View
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
16 years 22 days ago
An Efficient Criterion for Mode Decision in H.264/AVC
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...
Yu-Kuang Tu, Jar-Ferr Yang, Ming-Ting Sun
MIAR
2006
IEEE
16 years 21 days ago
List-Mode Affine Rebinning for Respiratory Motion Correction in PET Cardiac Imaging
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...
Adrian James Chung, Paolo G. Camici, Guang-Zhong Y...
SIGPRO
2011
275views Hardware» more  SIGPRO 2011»
14 years 9 months ago
Synthesis of multivariate stationary series with prescribed marginal distributions and covariance using circulant matrix embeddi
The problem of synthesizing multivariate stationary series Y [n] = (Y1[n], . . . , YP [n])T , n ∈ Z, with prescribed non-Gaussian marginal distributions, and a targeted covarian...
Hannes Helgason, Vladas Pipiras, Patrice Abry
ICALT
2007
IEEE
16 years 1 months ago
The Web 2.0 Driven SECI Model Based Learning Process
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
Mohamed Amine Chatti, Ralf Klamma, Matthias Jarke,...
179
Voted
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...