9425 search results - page 25 / 1885 » Some Notes on Models and Modelling |
JSYML
2002
13 years 8 months ago
2002
We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+
SIAMADS
2010
13 years 3 months ago
2010
Neural or cortical fields are continuous assemblies of mesoscopic models, also called neural masses, of neural populations that are fundamental in the modeling of macroscopic parts...
IPL
2008
13 years 8 months ago
2008
It is a truism that for a machine to have a useful access to memory or workspace, it must "know" where its input ends and its working memory begins. Most machine models ...
CGF
2002
13 years 8 months ago
2002
The modeling of real scenes is a complex and challenging task for which the use of laser rangefinders is one of the most promising approaches. Unfortunately, in many situations, i...
KI
2009
Springer
14 years 1 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...