396 search results - page 9 / 80 » Combining decision procedures for the reals |
FGR
1998
IEEE
15 years 5 months ago
1998
IEEE
We present an experimental setup for real-time face identification in a cluttered scene. Color images of people are recorded with a static camera. A rough face detection is perfor...
110
click to vote
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
126
click to vote
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...
102
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...