741 search results - page 37 / 149 » A Local System for Classical Logic |
129
click to vote
ICML
2009
IEEE
16 years 4 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 ...
174
Voted
DLT
2009
15 years 1 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...
142
Voted
TPHOL
2008
IEEE
15 years 9 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...
158
click to vote
CVPR
2007
IEEE
15 years 9 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...
113
Voted
TABLEAUX
2000
Springer
15 years 7 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...