Sciweavers

11436 search results - page 435 / 2288
» Modeling Real Reasoning
Sort
View
146
Voted
ECAI
2004
Springer
15 years 10 months ago
Models of Behavior Deviations in Model-Based Systems
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...
Peter Struss
JCST
2010
153views more  JCST 2010»
14 years 11 months ago
Model Failure and Context Switching Using Logic-Based Stochastic Models
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 ...
Nikita A. Sakhanenko, George F. Luger
PG
2003
IEEE
15 years 10 months ago
Physics Motivated Modeling of Volcanic Clouds as a Two Fluids Model
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...
Ryoichi Mizuno, Yoshinori Dobashi, Bing-Yu Chen, T...
121
Voted
IJON
2007
79views more  IJON 2007»
15 years 4 months ago
Predicting neuronal activity with simple models of the threshold type: Adaptive Exponential Integrate-and-Fire model with two co
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...
Claudia Clopath, Renaud Jolivet, Alexander Rauch, ...
158
Voted
CONCUR
2003
Springer
15 years 10 months ago
Multi-Valued Model Checking via Classical Model Checking
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...
Arie Gurfinkel, Marsha Chechik