3987 search results - page 199 / 798 » Ontology-Based Model Transformation |
159
click to vote
ICMCS
2008
IEEE
15 years 11 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...
111
click to vote
ICMCS
2006
IEEE
15 years 10 months 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...
132
click to vote
MIAR
2006
IEEE
15 years 10 months 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...
125
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
131
click to vote
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...