3888 search results - page 410 / 778 » Change-Driven Model Transformations |
247
click to vote
ICIP
1998
IEEE
16 years 9 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
193
click to vote
ATAL
2003
Springer
16 years 24 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
248
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
196
click to vote
MICCAI
2010
Springer
15 years 6 months ago
2010
Springer
High Angular Resolution Imaging (HARDI) can better explore the complex micro-structure of white matter compared to Diffusion Tensor Imaging (DTI). Orientation Distribution Functio...
214
Voted
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel macroblock layer rate control algorithm for H.264/ AVC is proposed in this paper. To solve the issues of rate control model in H.264/AVC, we presented a new coding complex...