Sciweavers

77016 search results - page 223 / 15404
» Modeling Modeling
Sort
View
ICSM
2009
IEEE
16 years 1 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
IAT
2010
IEEE
15 years 4 months ago
Personalisation of Computational Models of Attention by Simulated Annealing Parameter Tuning
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
Rianne van Lambalgen, Peter-Paul van Maanen
OOIS
2001
Springer
15 years 11 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan
ICMT
2010
Springer
15 years 11 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
ISBI
2007
IEEE
16 years 23 days ago
A Fractal Multi-Dimensional Ultrasound Scatterer Distribution Model
This paper presents a multi-dimensional point scatterer distribution model for the context of ultrasound image simulation. The model has a simple parameterisation, has low computa...
Catherine Laporte, James J. Clark, Tal Arbel
« Prev « First page 223 / 15404 Last » Next »