5525 search results - page 469 / 1105 » Verification of Model Transformations |
179
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
200
click to vote
SUM
2009
Springer
16 years 1 months ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
203
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
183
click to vote
BMCV
2000
Springer
15 years 11 months ago
2000
Springer
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
271
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...