396 search results - page 10 / 80 » Combining decision procedures for the reals |
116
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
151
click to vote
RTAS
1998
IEEE
15 years 5 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....
IANDC
2006
15 years 1 months ago
2006
Many approaches to deciding the satisfiability of quantifier free formulae with respect to a background theory T -- also known as Satisfiability Modulo Theory, or SMT
102
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Online Boosting is an effective incremental learning method which can update weak classifiers efficiently according to the object being trackedt. It is a promising technique for o...
112
click to vote
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...