131 search results - page 6 / 27 » Interval Arithmetic with Containment Sets |
IJBC
2002
13 years 7 months ago
2002
Let F be the lifting of a circle map of degree one. In [?] a notion of F-rotation interval of a point x S1 was given. In this paper we define and study a new notion of a rotation ...
ENDM
2010
13 years 7 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
MLQ
2008
13 years 7 months ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
COMBINATORICS
2002
13 years 7 months ago
2002
A sequence u = u1u2...un is said to be nonrepetitive if no two adjacent blocks of u are exactly the same. For instance, the sequence abcbcba contains a repetition bcbc, while abca...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...