English
Related papers

Related papers: Uncertainty in Soft Temporal Constraint Problems:A…

200 papers

Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 21(5)(2013),…

Logic in Computer Science · Computer Science 2016-01-26 Yongming Li

We consider a task of scheduling with a common deadline on a single machine. Every player reports to a scheduler the length of his job and the scheduler needs to finish as many jobs as possible by the deadline. For this simple problem,…

Computer Science and Game Theory · Computer Science 2011-03-15 Uriel Feige , Moshe Tennenholtz

Precisely tracking uncertainties is crucial for robots to successfully and safely operate in unstructured and dynamic environments. We present a probabilistic framework to precisely keep track of uncertainties throughout the entire…

Robotics · Computer Science 2019-01-07 Huy Nguyen , Quang-Cuong Pham

We study a model of temporal voting where there is a fixed time horizon, and at each round the voters report their preferences over the available candidates and a single candidate is selected. Prior work has adapted popular notions of…

Computer Science and Game Theory · Computer Science 2025-02-11 Edith Elkind , Svetlana Obraztsova , Jannik Peters , Nicholas Teh

We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different…

Artificial Intelligence · Computer Science 2009-05-26 Alan M. Frisch , Ian Miguel , Zeynep Kiziltan , Brahim Hnich , Toby Walsh

Contraction theory is a mathematical framework for studying the convergence, robustness, and modularity properties of dynamical systems and algorithms. In this opinion paper, we provide five main opinions on the virtues of contraction…

Systems and Control · Electrical Eng. & Systems 2025-07-24 Alexander Davydov , Francesco Bullo

Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…

Logic in Computer Science · Computer Science 2013-08-06 Savas Konur

Color is the most important intrinsic sensory feature that has a powerful impact on product sales. Color is even responsible for raising the aesthetic senses in our brains. Account for individual differences is crucial in color aesthetics.…

Computer Vision and Pattern Recognition · Computer Science 2023-08-30 Pakizar Shamoi , Atsushi Inoue , Hiroharu Kawanaka

A classical portfolio theory deals with finding the optimal proportion in which an agent invests a wealth in a risk-free asset and a probabilistic risky asset. Formulating and solving the problem depend on how the risk is represented and…

Portfolio Management · Quantitative Finance 2019-01-28 Irina Georgescu , Jani Kinnunen

We interpret a fuzzy set as a random availability function and provide sufficient conditions under which a preference relation over the set of all random availability functions can be represented by a utility function.

Theoretical Economics · Economics 2025-05-06 Somdeb Lahiri

Linear programming is widely used for decision-making in science, engineering, and operations research, yet in many modern applications the coefficients entering the constraints and objective are not known exactly and must be learned from…

Other Statistics · Statistics 2026-03-09 Debashis Chatterjee

Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can express "simple" decision problems, while others are designed…

Artificial Intelligence · Computer Science 2011-10-13 C. Pralet , T. Schiex , G. Verfaillie

We extend Robust Optimization to fractional programming, where both the objective and the constraints contain uncertain parameters. Earlier work did not consider uncertainty in both the objective and the constraints, or did not use Robust…

Optimization and Control · Mathematics 2015-08-21 Bram L. Gorissen

In robust optimization, we would like to find a solution that is immunized against all scenarios that are modeled in an uncertainty set. Which scenarios to include in such a set is therefore of central importance for the tractability of the…

Optimization and Control · Mathematics 2024-10-14 Jamie Fairbrother , Marc Goerigk , Mohammad Khosravi

Spatial dynamic microsimulations probabilistically project geographically referenced units with individual characteristics over time. Like any projection method, their outcomes are inherently uncertain and sensitive to multiple factors.…

Computation · Statistics 2025-11-19 Morgane Dumont , Ahmed Alsaloum , Julian Ernst , Jan Weymeirsch , Ralf Münnich

Assured AI in unrestricted settings is a critical problem. Our framework addresses AI assurance challenges lying at the intersection of domain adaptation, fairness, and counterfactuals analysis, operating via the discovery and intervention…

Machine Learning · Computer Science 2021-11-19 William Paul , Philippe Burlina

Fuzzy discrete event systems as a generalization of (crisp) discrete event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems. A…

Discrete Mathematics · Computer Science 2007-05-23 Yongzhi Cao , Mingsheng Ying

In this paper, generalised intuitionistic fuzzy soft sets and relations on generalised intuitionistic fuzzy soft sets are defined and a few of their properties are studied. An application of generalised intuitionistic fuzzy soft sets in…

General Mathematics · Mathematics 2010-10-13 Bivas Dinda , Tuhin Bera , T. K. Samanta

Computational constraints permeate the controller design process, and yet are rarely treated as explicit design constraints. Towards addressing this gap, we propose a quantitative framework that captures the effects of common design…

Systems and Control · Electrical Eng. & Systems 2026-05-15 Chris Verhoek , Nikolai Matni

Adaptive fuzzy control strategies are established to achieve global prescribed performance with prescribed-time convergence for strict-feedback systems with mismatched uncertainties and unknown nonlinearities. Firstly, to quantify the…

Systems and Control · Electrical Eng. & Systems 2022-12-29 Bing Mao , Xiaoqun Wu , Hui Liu , Yuhua Xu , Jinhu Lü