1302 search results - page 36 / 261 » Fair Equivalence Relations |
ISIPTA
1999
IEEE
14 years 19 hour ago
1999
IEEE
In this paper we focus on the theoretical properties of non-numerical representation of the uncertainty. As usual, this representation is realized by an ``ordinal relation'&#...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
ISCI
2006
13 years 7 months ago
2006
In this paper we study relations which are congruences with respect to and p, where pis the p-cut of the L-fuzzy hyperoperation . The main idea is to start from an equivalence re...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
ICALP
2010
Springer
14 years 16 days ago
2010
Springer
We say that a polynomial f(x1, . . . , xn) is indecomposable if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The polynom...