14809 search results - page 423 / 2962 » Model transformation by demonstration |
188
click to vote
JUCS
2008
15 years 6 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
182
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...
197
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
149
click to vote
IJCNN
2006
IEEE
16 years 28 days ago
2006
IEEE
— In this paper we have suggested a sparse three dimensional array model for the brain. Entries of the array are synaptic weights as functions of time. This is a typical four dim...
175
click to vote
CW
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...