4187 search results - page 641 / 838 » A Taxonomy of Model Transformation |
162
Voted
JLP
2008
15 years 6 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
190
click to vote
PAMI
2006
15 years 6 months ago
2006
In recent years, researchers have proposed to introduce statistical shape knowledge into level set based segmentation methods in order to cope with insufficient low-level informati...
143
click to vote
IVC
2007
15 years 6 months ago
2007
This paper presents a solution to the cloud removal problem, based in a recently developed image fusion methodology consisting in applying a 1-D pseudo-Wigner distribution (PWD) t...
188
click to vote
JDWM
2007
15 years 6 months ago
2007
Comprehensive data analysis has become indispensable in a variety of domains. OLAP (On-Line Analytical Processing) systems tend to perform poorly or even fail when applied to comp...
176
click to vote
APIN
2004
15 years 6 months ago
2004
In this paper we present a new technique to simulate polymer blends that overcomes the shortcomings in polymer system modeling. This method has an inherent advantage in that the v...