JISE
1998
14 years 3 days ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
WSC
1997
14 years 1 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
WSC
2008
14 years 2 months ago
2008
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
CVPR
2001
IEEE
15 years 2 months ago
2001
IEEE
Model Abstraction from Examples Yakov Keselman, Member, IEEE, and Sven Dickinson, Member, IEEE The recognition community has typically avoided bridging the representational gap bet...