5525 search results - page 733 / 1105 » Verification of Model Transformations |
201
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
218
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
196
click to vote
IWSSD
1993
IEEE
15 years 11 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
202
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
199
click to vote
MVA
1990
15 years 8 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...