28445 search results - page 310 / 5689 » Anatomically based modeling |
100
Voted
AE
2005
Springer
15 years 6 months ago
2005
Springer
In the research field of Artificial Life, the concepts of emergence and adaptation form the basis of a class of models which describes reproducing individuals whose characteristics...
123
click to vote
ITS
2004
Springer
15 years 6 months ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
109
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
174
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
107
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...