Results 71 to 80 of about 133,374 (215)
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source
A clausal resolution for extended computation tree logic ECTL [PDF]
, 2003 A temporal clausal resolution method was originally developed for linear time temporal logic and further extended to the branching-time framework of Computation Tree Logic (CTL).
Bolotov, A., Bolotov, A.
core
Dynamic Temporal Logic of Subjective Homophily
LogicsHomophily, which means similarity breeds association, is one of the most fundamental principles in social organization. However, in some cases, homophily is not significant, because actors’ perceptions of others differ from the real situation.
Xiling Luo
doaj +1 more source
IET Intelligent Transport Systems, 2022 Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system ...
Ke‐Ming Wang +4 more
doaj +1 more source
E-Generalization Using Grammars [PDF]
, 2017 We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core
Open computation tree logic for formal verification of modules [PDF]
Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design, 2003 Modules of large VLSI circuits are often designed by different designers spread across the globe. One of the main challenges of the designer is to guarantee that the module he/she designs will work correctly in the global design, the details of which, is often unknown to him/her.
Arindam Chakrabarti +2 more
openaire +2 more sources
Abstract Argumentation / Persuasion / Dynamics
, 2018 The act of persuasion, a key component in rhetoric argumentation, may be viewed as a dynamics modifier. We extend Dung's frameworks with acts of persuasion among agents, and consider interactions among attack, persuasion and defence that have been ...
C Cayrol +20 more
core +1 more source
The decision tree approach to classification [PDF]
A class of multistage decision tree classifiers is proposed and studied relative to the classification of multispectral remotely sensed data. The decision tree classifiers are shown to have the potential for improving both the classification accuracy and
Landgrebe, D. A., Swain, P. H., Wu, C.
core +1 more source
Dynamic reconfiguration of GCM components [PDF]
, 2008 We detail in this report past research and current/future developments in formal specification of Grid component systems by temporal logic and consequent resolution technique, for an automated dynamic reconfiguration of components.
Basso, A. +7 more
core +1 more source
Transforming floundering into success
, 2012 We show how logic programs with "delays" can be transformed to programs without delays in a way which preserves information concerning floundering (also known as deadlock).
Apt +15 more
core +1 more source