171 search results - page 1 / 35 » What's Decidable about Sequences |
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
STOC
1995
ACM
13 years 8 months ago
1995
ACM
CVPR
2008
IEEE
14 years 6 months ago
2008
IEEE
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...
AGILEDC
2006
IEEE
13 years 10 months ago
2006
IEEE
How do we implement Agile? Is Agile a good thing for my organization? What barriers will I have to overcome? All of these are important questions when deciding whether and how to ...