77016 search results - page 483 / 15404 » Modeling |
215
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
141
click to vote
IJON
2006
15 years 6 months ago
2006
We investigate bifurcations observed in a Morris-Lecar neuron model. Especially, we paid attention to the change of bifurcation structures between type I and type II models. We fo...
153
click to vote
JAPLL
2006
15 years 6 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
148
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
A stereo vision based terrain traversability estimation method for offroad mobile robots is presented. The method models surrounding terrain using either sloped planes or a digital...
214
click to vote
LOGCOM
2008
15 years 6 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...