6434 search results - page 448 / 1287 » Model Transformations with Reference Models |
171
click to vote
FAC
2006
15 years 6 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
210
click to vote
ICSEA
2006
IEEE
16 years 27 days ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
174
click to vote
MMM
2006
Springer
16 years 26 days 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...
191
click to vote
CVPR
2001
IEEE
16 years 8 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...
205
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 ...