Results 21 to 30 of about 86,163 (232)
Observation and abstract behaviour in specification and implementation of state-based systems [PDF]
, 2001 Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are.
Pahl, Claus
core +2 more sources
SOFT UNION-THETA PRODUCT OF GROUPS [PDF]
Matrix Science MathematicSoft set theory provides a mathematically robust and algebraically versatile framework for modeling systems characterized by epistemic indeterminacy, vagueness, and parameter-dependent variability—features that pervade foundational inquiries in decision ...
Zeynep Ay, Aslıhan Sezgin
doaj +1 more source
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing, 2022 Two-dimensional (2D) image processing systems are concerned with the processing of the images represented as 2D arrays and are widely used in medicine, transportation and many other autonomous systems.
Adnan Rashid, Sa’ed Abed, Osman Hasan
doaj +1 more source
Modalities for an Allegorical Conceptual Data Model
Axioms, 2014 Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal ...
Bartosz Zieliński +2 more
doaj +1 more source
Behavioral institutions and refinements in generalized hidden logics [PDF]
, 2006 We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden ...
Martins, Manuel A.
core +3 more sources
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions [PDF]
, 2016 Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions.
Voutsadakis, George
core +1 more source
Deriving Inverse Operators for Modal Logic [PDF]
, 2016 International audienceSpatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems.
Guzman, Michell +3 more
core +4 more sources
Graph Decomposition Techniques in Neutrosophic Zero Divisor Models of Commutative Ring [PDF]
Neutrosophic Sets and SystemsThis research establishes the framework for neutrosophic zero divisor graphs, extending the capabilities of existing fuzzy zero divisor graph models. While fuzzy models account for partial uncertainty through degrees of membership, they often fail to ...
K. Gunasekar, P. Muralikrishna
doaj +1 more source
Semantic Observation Integration
Future Internet, 2012 Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn +3 more
doaj +1 more source
Logic minimization and rule extraction for identification of functional sites in molecular sequences
BioData Mining, 2012 Background Logic minimization is the application of algebraic axioms to a binary dataset with the purpose of reducing the number of digital variables and/or rules needed to express it.
Cruz-Cano Raul +2 more
doaj +1 more source