Color constancy and non-uniform illumination: Can existing algorithms work?
The color and distribution of illuminants can significantly alter the appearance of a scene.
The goal of color constancy (CC) is to remove the color bias introduced by the illuminants …
The goal of color constancy (CC) is to remove the color bias introduced by the illuminants …
Interval vs. point temporal logic model checking: An expressiveness comparison
In recent years, model checking with interval temporal logics is emerging as a viable
alternative to model checking with standard point-based temporal logics, such as LTL, CTL …
alternative to model checking with standard point-based temporal logics, such as LTL, CTL …
[HTML][HTML] Which fragments of the interval temporal logic HS are tractable in model checking?
Since the 80s, model checking (MC) has been applied to the automatic verification of
hardware/software systems. Point-based temporal logics, such as LTL, CTL, CTL⁎, and the …
hardware/software systems. Point-based temporal logics, such as LTL, CTL, CTL⁎, and the …
Interval temporal logic model checking: The border between good and bad HS fragments
The model checking problem has thoroughly been explored in the context of standard point-
based temporal logics, such as LTL, CTL, and CTL^*, whereas model checking for interval …
based temporal logics, such as LTL, CTL, and CTL^*, whereas model checking for interval …
[HTML][HTML] On coarser interval temporal logics
The primary characteristic of interval temporal logic is that intervals, rather than points, are
taken as the primitive ontological entities. Given their generally bad computational behavior …
taken as the primitive ontological entities. Given their generally bad computational behavior …
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions
In this paper, we investigate the model checking (MC) problem for Halpern and Shoham's
interval temporal logic HS. In the last years, interval temporal logic MC has received an …
interval temporal logic HS. In the last years, interval temporal logic MC has received an …
[HTML][HTML] Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
Some temporal properties of reactive systems, such as actions with duration and temporal
aggregations, which are inherently interval-based, can not be properly expressed by the …
aggregations, which are inherently interval-based, can not be properly expressed by the …
[HTML][HTML] Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
Interval temporal logics provide a natural framework for temporal reasoning about interval
structures over linearly ordered domains, where intervals are taken as first-class citizens …
structures over linearly ordered domains, where intervals are taken as first-class citizens …
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
L Bozzelli, A Molinari, A Montanari… - 44th International …, 2017 - drops.dagstuhl.de
In this paper, we investigate the finite satisfiability and model checking problems for the logic
D of the sub-interval relation under the homogeneity assumption, that constrains a …
D of the sub-interval relation under the homogeneity assumption, that constrains a …
A model checking procedure for interval temporal logics based on track representatives
Model checking is commonly recognized as one of the most effective tools for system
verification. While it has been systematically investigated in the context of classical, point …
verification. While it has been systematically investigated in the context of classical, point …