27 search results - page 1 / 6 » A Higher-Order Colon Translation |
164
Voted
FLOPS
2001
Springer
16 years 4 days ago
2001
Springer
266
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
Motion segmentation based on point trajectories can integrate information of a whole video shot to detect and separate moving objects. Commonly, similarities are defined between ...
220
click to vote
FLOPS
1999
Springer
15 years 12 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
222
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
185
click to vote
JAR
2008
15 years 7 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...