4513 search results - page 140 / 903 » Modeling with a Sense of Purpose |
153
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
138
click to vote
FOIS
2008
15 years 7 months ago
2008
The purpose of this paper is to examine different modelling strategies available in a multiplicative formal ontology, and the principles that drive their choice. This study is base...
142
click to vote
SCANGIS
2003
15 years 7 months ago
2003
The WGS84 ellipsoid is tessellated using quadrilaterals of roughly the same size. The tessellation scheme is developed for the purpose of storing, distributing and analysing global...
151
click to vote
AEI
2007
15 years 6 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
163
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...