5525 search results - page 390 / 1105 » Verification of Model Transformations |
134
Voted
ICMCS
2006
IEEE
16 years 29 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...
176
click to vote
MIAR
2006
IEEE
16 years 28 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...
192
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
184
click to vote
CGF
2008
15 years 7 months ago
2008
We present an unsupervised algorithm for aligning a pair of shapes in the presence of significant articulated motion and missing data, while assuming no knowledge of a template, u...
173
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...