Sciweavers

28445 search results - page 115 / 5689
» Anatomically based modeling
Sort
View
114
Voted
TSE
2002
125views more  TSE 2002»
15 years 2 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
106
Voted
MODELS
2010
Springer
15 years 1 months ago
Role-Based Generic Model Refactoring
Jan Reimann, Mirko Seifert, Uwe Aßmann
119
Voted
IJCNN
2006
IEEE
15 years 8 months ago
Oscillatory Network for Synchronization-Based Adaptive Image Segmentation
— Oscillatory network model with controllable oscillator dynamics and self-organized dynamical coupling has been created for synchronization-based image processing. The model was...
Eugene Grichuk, Margarita Kuzmina, Edward A. Manyk...