578 search results - page 6 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
DAGM
2008
Springer
13 years 10 months ago
2008
Springer
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
RTA
2010
Springer
14 years 13 days ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
TACS
1994
Springer
14 years 18 days ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
CADE
1999
Springer
14 years 25 days ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
TYPES
1995
Springer
14 years 2 days ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...