Sciweavers

28445 search results - page 310 / 5689
» Anatomically based modeling
Sort
View
AE
2005
Springer
16 years 6 days ago
Outlines of Artificial Life: A Brief History of Evolutionary Individual Based Models
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...
Stefan Bornhofen, Claude Lattaud
ITS
2004
Springer
155views Multimedia» more  ITS 2004»
16 years 1 days ago
Modeling the Development of Problem Solving Skills in Chemistry with a Web-Based Tutor
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 ...
Ron Stevens, Amy Soller, Melanie Cooper, Marcia Sp...
UML
2004
Springer
16 years 15 hour ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
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...
Iris Reinhartz-Berger, Arnon Sturm
ESEC
1999
Springer
15 years 11 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
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 ...
Hugo Fierz
CAV
2004
Springer
126views Hardware» more  CAV 2004»
15 years 10 months ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
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...
Kedar S. Namjoshi