3921 search results - page 186 / 785 » Transforming Models with ATL |
120
click to vote
ICMCS
2006
IEEE
15 years 11 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...
143
click to vote
MIAR
2006
IEEE
15 years 11 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...
143
click to vote
ATVA
2009
Springer
15 years 9 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 ...
147
click to vote
SPATIALCOGNITION
2000
Springer
15 years 9 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...
161
Voted
ATAL
2010
Springer
15 years 5 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...