4250 search results - page 185 / 850 » Understanding the Requirements on Modelling Techniques |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
TACS
1991
Springer
14 years 25 days ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
SIGMETRICS
1993
ACM
14 years 1 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
ICML
1997
IEEE
14 years 10 months ago
1997
IEEE
Abstract: We investigate the structure of model selection problems via the bias/variance decomposition. In particular, we characterize the essential structure of a model selection ...
BMVC
1998
13 years 10 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...