English
Related papers

Related papers: Characterizing Quantifier Fuzzification Mechanisms…

200 papers

Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniques, strategies, and algorithms. Such new ideas are…

Cryptography and Security · Computer Science 2018-10-22 George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , Michael Hicks

Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is…

Logic in Computer Science · Computer Science 2025-07-23 Stefan Ratschan

The Era of Big Data has forced researchers to explore new distributed solutions for building fuzzy classifiers, which often introduce approximation errors or make strong assumptions to reduce computational and memory requirements. As a…

Machine Learning · Computer Science 2019-03-11 Mikel Elkano , Humberto Bustince , Mikel Galar

Statistical estimation of the prediction uncertainty of physical models is typically hindered by the inadequacy of these models due to various approximations they are built upon. The prediction errors due to model inadequacy can be handled…

Data Analysis, Statistics and Probability · Physics 2017-09-11 Pascal Pernot

Reliable uncertainty quantification (UQ) in machine learning (ML) regression tasks is becoming the focus of many studies in materials and chemical science. It is now well understood that average calibration is insufficient, and most studies…

Machine Learning · Statistics 2024-01-25 Pascal Pernot

Fuzzy logic controllers are readily customizable in natural language terms and can effectively deal with nonlinearities and uncertainties in control systems. This paper presents an intelligent and automated fuzzy control procedure for the…

Signal Processing · Electrical Eng. & Systems 2019-11-07 Issam Damaj , Jean Saade , Hala Al-Faisal , Hassan Diab

The approach described here allows to use the fuzzy Object Based Representation of imprecise and uncertain knowledge. This representation has a great practical interest due to the possibility to realize reasoning on classification with a…

Artificial Intelligence · Computer Science 2012-06-13 Mohamed Nazih Omri

People can refer to quantities in a visual scene by using either exact cardinals (e.g. one, two, three) or natural language quantifiers (e.g. few, most, all). In humans, these two processes underlie fairly different cognitive and neural…

Computation and Language · Computer Science 2017-02-20 Sandro Pezzelle , Marco Marelli , Raffaella Bernardi

Multi-criteria decision-making methods provide decision-makers with appropriate tools to make better decisions in uncertain, complex, and conflicting situations. Fuzzy set theory primarily deals with the uncertainty inherent in human…

Artificial Intelligence · Computer Science 2025-09-10 Kirisci Murat

Quantization is a promising technique for reducing the bit-width of deep models to improve their runtime performance and storage efficiency, and thus becomes a fundamental step for deployment. In real-world scenarios, quantized models are…

Machine Learning · Computer Science 2024-04-09 Qun Li , Yuan Meng , Chen Tang , Jiacheng Jiang , Zhi Wang

Quantization has gained attention as a promising solution for the cost-effective deployment of large and small language models. However, most prior work has been limited to perplexity or basic knowledge tasks and lacks a comprehensive…

Computation and Language · Computer Science 2025-06-05 Jemin Lee , Sihyeong Park , Jinse Kwon , Jihun Oh , Yongin Kwon

The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches are often rare or unnecessary. Developing efficient…

Artificial Intelligence · Computer Science 2025-07-18 Besik Dundua , Temur Kutsia

Designing a mechatronic system is a complex task since it deals with a high number of system components with multi-disciplinary nature in the presence of interacting design objectives. Currently, the sequential design is widely used by…

Robotics · Computer Science 2020-08-25 Abolfazl Mohebbi , Sofiane Achiche , Luc Baron

The problem of designing optimal quantization rules for sequential detectors is investigated. First, it is shown that this task can be solved within the general framework of active sequential detection. Using this approach, the optimal…

Information Theory · Computer Science 2021-07-29 Michael Fauß , Manuel S. Stein , H. Vincent Poor

The paper examines the problems related to the well-posedness of the Cucker-Smale model with communication restricted to the $q$-closest neighbors, known also as the Cucker-Dong model. With agents oscillating on the boundary of different…

Analysis of PDEs · Mathematics 2022-10-12 Piotr B. Mucha , Jan Peszek

A new approach, to measure normalization completeness for conceptual model, is introduced using quantitative fuzzy functionality in this paper. We measure the normalization completeness of the conceptual model in two steps. In the first…

Databases · Computer Science 2012-04-03 M. Rizwan Jameel Qureshi , Mehboob Sharif , Nayyar Iqbal

The multi-class prediction had gained popularity over recent years. Thus measuring fit goodness becomes a cardinal question that researchers often have to deal with. Several metrics are commonly used for this task. However, when one has to…

Machine Learning · Computer Science 2022-08-12 Uri Itai , Natan Katz

The vast majority of stochastic simulation models are imperfect in that they fail to exactly emulate real system dynamics. The inexactness of the simulation model, or model discrepancy, can impact the predictive accuracy and usefulness of…

Methodology · Statistics 2017-07-21 Matthew Plumlee , Henry Lam

Modelling of complex systems is mainly based on the decomposition of these systems in autonomous elements, and the identification and definitio9n of possible interactions between these elements. For this, the agent-based approach is a…

Artificial Intelligence · Computer Science 2013-02-27 Alain-Jérôme Fougères

A goodness-of-fit test for the fitting of a parametric model to data obtained from a detector with finite resolution and limited acceptance is proposed. The parameters of the model are found by minimization of a statistic that is used for…

Data Analysis, Statistics and Probability · Physics 2015-03-17 N. D. Gagunashvili