English
Related papers

Related papers: Depth-Bounded Fuzzy Simulations and Bisimulations …

200 papers

Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling…

Logic in Computer Science · Computer Science 2016-09-09 Gaogao Yan , Li Jiao , Yangjia Li , Shuling Wang , Naijun Zhan

In this paper we present an incremental variant of the Twin Support Vector Machine (TWSVM) called Fuzzy Bounded Twin Support Vector Machine (FBTWSVM) to deal with large datasets and learning from data streams. We combine the TWSVM with a…

Machine Learning · Computer Science 2020-03-24 Alexandre Reeberg de Mello , Marcelo Ricardo Stemmer , Alessandro Lameiras Koerich

This paper is to consider the problems of estimation and recognition from the perspective of sigma-max inference (probability-possibility inference), with a focus on discovering whether some of the unknown quantities involved could be more…

Systems and Control · Electrical Eng. & Systems 2022-03-09 Wei Mei , Yunfeng Xu , Limin Liu

The transportation of sensitive equipment often suffers from vibrations caused by terrain, weather, and motion speed, leading to inefficiencies and potential damage. To address this challenge, this paper explores an intelligent control…

Systems and Control · Electrical Eng. & Systems 2025-04-10 Vuong Anh Trung , Thanh Son Pham , Truc Thanh Tran , Tran le Thang Dong , Tran Thuan Hoang

Matching of binary image features is an important step in many different computer vision applications. Conventionally, an arbitrary threshold is used to identify a correct match from incorrect matches using Hamming distance which may…

Computer Vision and Pattern Recognition · Computer Science 2017-04-21 Erkan Bostanci , Nadia Kanwal , Betul Bostanci , Mehmet Serdar Guzel

Cellular automata (CA) play an important role in the development of computationally efficient microscopic traffic models and recently have gained considerable importance as a mean of optimising traffic control strategies. However, real-time…

Emerging Technologies · Computer Science 2013-11-25 Bartłomiej Płaczek

In this paper we study the best approximation of a fixed fuzzy-number-valued continuous function to a subset of fuzzy-number-valued continuous functions. We also introduce a method to measure the distance between a fuzzy-number-valued…

General Mathematics · Mathematics 2025-12-25 Juan J. Font , Sergio Macario

Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness. More specifically, this model assumes that agents are similar,…

Logic in Computer Science · Computer Science 2020-02-18 Apostolos Syropoulos

Fuzzy numbers are commonly represented with fuzzy sets. Their objective is to better represent imprecise data. However, operations on fuzzy numbers are not as straightforward as maths on crisp numbers. Commonly, the Zadeh's extension rule…

Artificial Intelligence · Computer Science 2025-10-27 Krzysztof Siminski

The idea of nondeterministic typical hesitant fuzzy automata is a generalization of the fuzzy automata presented by Costa and Bedregal. This paper, presents the sufficient and necessary conditions for a typical hesitant fuzzy language to be…

Formal Languages and Automata Theory · Computer Science 2021-02-19 Valdigleis S. Costa , Benjamín C. Bedregal , Regivan H. N. Santiago

Considering the high volume, wide variety, and rapid speed of data generation, investigating feature selection methods for big data presents various applications and advantages. By removing irrelevant and redundant features, feature…

Machine Learning · Computer Science 2026-03-12 Mohammad Hossein Safarpour , Seyed Majid Alavi , Mohammad Izadikhah , Hossein Dibachi

The transitivity of fuzzy relations plays an important role in fuzzy set theory, artificial intelligence, clustering and decision-making. However, it is often difficult for fuzzy relations to satisfy the transitivity property in many…

General Mathematics · Mathematics 2026-05-04 Dechao Li , Yutao Yao , Jingyao Duan

Inspired by recent strides in empirical efficacy of implicit learning in many robotics tasks, we seek to understand the theoretical benefits of implicit formulations in the face of nearly discontinuous functions, common characteristics for…

Robotics · Computer Science 2022-04-08 Bibit Bianchini , Mathew Halm , Nikolai Matni , Michael Posa

SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability, reducing the time-to-market and improving software reliability. Recently, fuzzing has become a popular method for…

Software Engineering · Computer Science 2025-09-04 Chiara Ghinami , Jonas Winzer , Nils Bosbach , Lennart M. Reimann , Lukas Jünger , Simon Wörner , Rainer Leupers

Security vulnerabilities play a vital role in network security system. Fuzzing technology is widely used as a vulnerability discovery technology to reduce damage in advance. However, traditional fuzzing techniques have many challenges, such…

Cryptography and Security · Computer Science 2020-08-20 Yan Wang , Peng Jia , Luping Liu , Jiayong Liu

In a recent paper [1] we introduced the Fuzzy Bayesian Learning (FBL) paradigm where expert opinions can be encoded in the form of fuzzy rule bases and the hyper-parameters of the fuzzy sets can be learned from data using a Bayesian…

Machine Learning · Statistics 2017-04-07 Indranil Pan , Dirk Bester

Feature selection is a vital technique in machine learning, as it can reduce computational complexity, improve model performance, and mitigate the risk of overfitting. However, the increasing complexity and dimensionality of datasets pose…

Machine Learning · Computer Science 2024-07-24 Yuepeng Chen , Weiping Ding , Hengrong Ju , Jiashuang Huang , Tao Yin

Autonomous systems that rely on Machine Learning (ML) utilize online fault tolerance mechanisms, such as runtime monitors, to detect ML prediction errors and maintain safety during operation. However, the lack of human-interpretable…

Machine Learning · Computer Science 2025-05-21 Aniket Salvi , Gereon Weiss , Mario Trapp

Finite state machines are widely used as a sound mathematical formalism that appropriately describes large scale, distributed and complex systems. Multiple interactions of finite state machines in complex systems are well captured by the…

Formal Languages and Automata Theory · Computer Science 2011-12-13 Giordano Pola , Maria D. Di Benedetto , Elena De Santis

Although fuzzy techniques promise fast meanwhile accurate modeling and control abilities for complicated systems, different difficulties have been re-vealed in real situation implementations. Usually there is no escape of it-erative…

Artificial Intelligence · Computer Science 2017-01-08 Iman Esmaili Paeen Afrakoti , Saeed Bagheri Shouraki , Farnood Merrikhbayat