545 search results - page 4 / 109 » Recursive logic frames |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
ICIP
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we propose a method to track multiple deformable objects in video sequences using a recursive clustering scheme. In a first step, a set of Gabor filter banks is u...
CSL
2002
Springer
13 years 8 months ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
DAM
2002
13 years 8 months ago
2002
It is proved that seven different approaches to the multi-peg Tower of Hanoi problem are all equivalent. Among them the classical approaches of Stewart and Frame from 1941 can be ...
IJCAI
1993
13 years 10 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...