Results 91 to 100 of about 39,214 (275)

Enhancing generalized spectral clustering with embedding Laplacian graph regularization

CAAI Transactions on Intelligence Technology, EarlyView.
Abstract An enhanced generalised spectral clustering framework that addresses the limitations of existing methods by incorporating the Laplacian graph and group effect into a regularisation term is presented. By doing so, the framework significantly enhances discrimination power and proves highly effective in handling noisy data.
Hengmin Zhang, Jian Yang, Bob Zhang, Yang Tang, Wenli Du, Bihan Wen   +5 more
wiley   +1 more source

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Journal of Formalized Reasoning, 2010
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well known and well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems.
Christoph Benzmueller, Geoff Sutcliffe
doaj  

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems

Моделирование и анализ информационных систем
The article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems (DES), based on their representation in the form of positively constructed formulas (PCF).
Artem Davydov, Aleksandr A. Larionov, Nadezhda V. Nagul   +2 more
doaj   +1 more source

Deductive Verification of the Sliding Window Protocol

Моделирование и анализ информационных систем, 2015
We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallelism ...
D. A. Chkliaev, V. A. Nepomniaschy
doaj   +1 more source

Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid, Ayesha Razzaq, Muhammad Riaz, Tapan Senapati, Sarbast Moslem   +4 more
wiley   +1 more source

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Coevolutionary Neural Dynamics With Learnable Parameters for Nonconvex Optimisation

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT Nonconvex optimisation plays a crucial role in science and industry. However, existing methods often encounter local optima or provide inferior solutions when solving nonconvex optimisation problems, lacking robustness in noise scenarios. To address these limitations, we aim to develop a robust, efficient and globally convergent solver for ...
Yipiao Chen, Wenbin Du, Huichao Cao, Long Jin   +3 more
wiley   +1 more source

Mathematical Text Processing in EA-style: a Sequent Aspect

Journal of Formalized Reasoning, 2016
The paper is devoted to the study of one of the aspects of the so-called Evidence Algorithm programme advanced by Academician V.M.~Glushkov and connected with the problem of automated theorem-proving search in the signature of first-order theories that ...
Alexander Lyaletski
doaj   +1 more source

Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers [PDF]

, 2020
Aren A. Babikian, Oszkár Semeráth, Dániel Varró   +2 more
openalex   +1 more source

Fixed‐Time Zeroing Neural Dynamics for Adaptive Coordination of Multi‐Agent Systems

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT This paper presents an adaptive multi‐agent coordination (AMAC) strategy suitable for complex scenarios, which only requires information exchange between neighbouring robots. Unlike traditional multi‐agent coordination methods that are solved by neural dynamics, the proposed strategy displays greater flexibility, adaptability and scalability ...
Cheng Hua, Xinwei Cao, Jianfeng Li, Shuai Li   +3 more
wiley   +1 more source