741 search results - page 37 / 149 » A Local System for Classical Logic |
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
The general stochastic optimal control (SOC) problem in robotics scenarios is often too complex to be solved exactly and in near real time. A classical approximate solution is to ...
DLT
2009
13 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
CVPR
2007
IEEE
14 years 1 months ago
2007
IEEE
Use of IR images is advantageous for many surveillance applications where the systems must operate around the clock and external illumination is not always available. We investiga...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...