2339 search results - page 187 / 468 » Models and Tools for Mulan Applications |
172
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
180
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
The use of statistical shape models is a promising approach for robust segmentation of medical images. One of the major challenges in building a 3D shape model from a training set ...
157
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Graphical models of brain functional connectivity have matured from con rming a priori hypotheses to an exploratory tool for discovering unknown connectivity. However, exploratory...
171
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
171
click to vote
ICONIP
2004
15 years 8 months ago
2004
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...