Sciweavers

4150 search results - page 158 / 830
» A Practical Approach to Model Extension
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 3 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 8 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
15 years 10 months ago
Comfortable modeling of complex reactive systems
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
Steffen Prochnow, Reinhard von Hanxleden
IAT
2005
IEEE
15 years 9 months ago
Modelling Multiagent Bayesian Networks with Inclusion Dependencies
Multiagent Bayesian networks (MABNs) are a powerful new framework for uncertainty management in a distributed environment. In a MABN, a collective joint probability distribution i...
Cory J. Butz
128
Voted
IJCNN
2006
IEEE
15 years 9 months ago
Ensemble of Neural Network Emulations for Climate Model Physics: The Impact on Climate Simulations
—A new application of the NN ensemble approach is presented. It is applied to NN emulations of model physics in complex numerical climate models, and aimed at improving the accur...
Michael S. Fox-Rabinovitz, Vladimir M. Krasnopolsk...