28445 search results - page 336 / 5689 » Anatomically based modeling |
146
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
143
Voted
UM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
131
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
105
Voted
PARA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
116
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...