851 search results - page 56 / 171 » Inaccessibility in Decision Procedures |
92
Voted
CAV
2012
Springer
13 years 1 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
123
Voted
RTAS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
IJCAI
1993
15 years 7 days ago
1993
While decision trees have been used primarily for classification, they can also model regression or function approximation. Like classification trees, regression trees often yield...
ICIP
2008
IEEE
16 years 20 days ago
2008
IEEE
In this paper, we improve the performance of intra prediction and simplify mode decision procedure at the same time. For these works, we apply a statistical learning method such a...
CADE
2006
Springer
15 years 11 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...