14 search results - page 2 / 3 » A New Attempt On The F5 Criterion |
LOGCOM
2000
13 years 5 months ago
2000
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...
ICCV
2011
IEEE
12 years 6 months ago
2011
IEEE
Many recent works have attempted to improve object recognition by exploiting temporal dynamics, an intrinsic property of video sequences. In this paper, a new spatiotemporal hiera...
SYNTHESE
2008
13 years 6 months ago
2008
This article goes to the foundations of Statistical Inference through a review of Carnap's logic theory of induction. From this point of view, it brings another solution to t...
GECCO
1999
Springer
13 years 10 months ago
1999
Springer
This paper analyses Rosca's ARL as a general framework for automatic subroutine discovery. We review and compare a number of heuristics for code selection, and experimentally...
PAMI
1998
13 years 5 months ago
1998
—Image segmentation is fundamental to many image analysis problems. It aims to partition a digital image into a set of nonoverlapping homogeneous regions. The main contribution o...