Results 51 to 60 of about 8,702,475 (256)

iSNEAK: Partial Ordering as Heuristics for Model- Based Reasoning in Software Engineering

IEEE Access
A “partial ordering” is a way to heuristically order a set of examples (partial orderings are a set where, for certain pairs of elements, one precedes the other). While these orderings may only be approximate, they can be useful for guiding
Andre Lustosa, Tim Menzies
doaj   +1 more source

Predictive intelligence to the edge through approximate collaborative context reasoning [PDF]

, 2017
We focus on Internet of Things (IoT) environments where a network of sensing and computing devices are responsible to locally process contextual data, reason and collaboratively infer the appearance of a specific phenomenon (event).
Anagnostopoulos, Christos, Kolomvatsos, Kostas   +1 more
core   +1 more source

Reasoning in chemistry teacher education

Chemistry Teacher International
Research on preservice science teacher’s reasoning is comparatively new in a larger field of research on reasoning. This study examines model-based reasoning among preservice science teachers to make recommendations on how reasoning can be fostered ...
Khan Samia
doaj   +1 more source

Fluent temporal logic for discrete-time event-based models [PDF]

, 2005
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties.
Emmanuel Letier, Henzinger T. A., Hoare C. A. R., Jeff Kramer, Jeff Magee, Joseph M., Koymans R., Magee J., Miller R., Roscoe A. W., S. Queins, Sebastian Uchitel   +11 more
core   +1 more source

Approach to Risk Performance Reasoning with Hidden Markov Model for Bauxite Shipping Process Safety by Handy Carriers

Applied Sciences, 2020
An approach based on the hidden Markov model (HMM) is proposed for risk performance reasoning (RPR) for the bauxite shipping process by Handy carriers. The unobservable (hidden) state process in the approach aims to model the underlying risk performance,
Jianjun Wu, Yongxing Jin, Shenping Hu, Jiangang Fei, Yuanqiang Zhang   +4 more
doaj   +1 more source

Reflective learning conversations model for simulation debriefing: a co-design process and development innovation

BMC Medical Education, 2023
Background Health practitioners must be equipped with effective clinical reasoning skills to make appropriate, safe clinical decisions and avoid practice errors.
Emad Almomani, Jacqueline Sullivan, Omar Saadeh, Emad Mustafa, Natalie Pattison, Guillaume Alinier   +5 more
doaj   +1 more source

CBR and MBR techniques: review for an application in the emergencies domain [PDF]

, 2003
The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system ...
Merida-Campos, Carlos, Rollón Rico, Emma   +1 more
core   +1 more source

Do I need to fix a failed component now, or can I wait until tomorrow? [PDF]

, 2014
We investigate how predictive event-based modelling can inform operational decision making in complex systems with component failures. By relating the status of components to service availability, and using stochastic temporal logic reasoning, we ...
Calder, Muffy, Sevegnani, Michele
core   +2 more sources

Mixed inference machine reading comprehension method based on symbolic logic

Intelligent Systems with Applications
With the rapid development of machine learning, challenging question and answer datasets have also emerged, and the machine reading comprehension technology has emerged.
Duanduan Liu
doaj   +1 more source

Semantic model-driven development of web service architectures. [PDF]

, 2008
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven development is a recent approach to developing software systems based on the idea
Pahl, Claus
core   +2 more sources