7075 search results - page 350 / 1415 » Models and heterogeneous reasoning |
174
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
203
click to vote
JCST
2010
15 years 1 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
134
click to vote
PG
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we present a physics motivated modeling method for volcanic clouds as a two fluids model. Some previous methods model smoke or clouds as one fluid, but the volcan...
153
click to vote
IJON
2007
15 years 6 months ago
2007
An adaptive Exponential Integrate-and-Fire (aEIF) model was used to predict the activity of layer-V-pyramidal neurons of rat neocortex under random current injection. A new protoc...
189
click to vote
CONCUR
2003
Springer
16 years 6 hour ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...