851 search results - page 104 / 171 » Inaccessibility in Decision Procedures |
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
ERCIMDL
2008
Springer
13 years 10 months ago
2008
Springer
Digital preservation has turned into an active field of research. The most prominent approaches today are migration and emulation; especially considering migration, a range of work...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
FOSSACS
2008
Springer
13 years 10 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...
EMNLP
2008
13 years 10 months ago
2008
String transformation, which maps a source string s into its desirable form t , is related to various applications including stemming, lemmatization, and spelling correction. The ...