1536 search results - page 137 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
118
click to vote
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
ICONIP
2007
14 years 11 months ago
2007
Current automobiles’ safety systems based on video cameras and movement sensors fail when objects are out of the line of sight. This paper proposes a system based on pulsed neura...
AAAI
1990
14 years 11 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
BMCBI
2008
14 years 10 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
122
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...