77016 search results - page 226 / 15404 » Modeling |
167
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
139
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
: In this work we introduce an iterative method that deforms brain models built from tomographic images. The deformation is used for normalization purposes: individual models are d...
141
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
134
click to vote
AH
2004
Springer
15 years 7 months ago
2004
Springer
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
105
click to vote
AIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...