5525 search results - page 605 / 1105 » Verification of Model Transformations |
185
click to vote
MMM
2006
Springer
16 years 1 months ago
2006
Springer
This paper presents a rate control algorithm for the dominant discrete cosine transform (DCT) -based video coding. It is developed based on a more accurate rate-distortion (RD) mo...
201
click to vote
CVPR
2001
IEEE
16 years 9 months ago
2001
IEEE
We consider learning models for object recognition from examples. Our method is motivated by systems that use the Hausdorff distance as a shape comparison measure. Typically an ob...
212
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
IT projects often face the challenge of harmonizing metadata and data so as to have a “single” version of the truth. Determining equivalency of multiple data instances against ...
187
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
194
click to vote
SELMAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...