5525 search results - page 451 / 1105 » Verification of Model Transformations |
177
click to vote
IMAGING
2000
15 years 8 months ago
2000
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
185
click to vote
PAMI
2008
15 years 7 months ago
2008
Face recognition algorithms perform very unreliably when the pose of the probe face is different from the gallery face: typical feature vectors vary more with pose than with identi...
168
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
186
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
188
click to vote
FMOODS
2006
15 years 8 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...