28445 search results - page 351 / 5689 » Anatomically based modeling |
116
click to vote
EUROGP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
123
click to vote
SG
2007
Springer
15 years 9 months ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
ISVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
Mesh interconnect can be efficiently utilized while tree networks encourage the short routing distances. In this paper, we present the property analysis of a cluster-based interc...
137
click to vote
MABS
2005
Springer
15 years 8 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...