7811 search results - page 312 / 1563 » computer 2004 |
192
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
148
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Recent techniques for multi-camera tracking have relied on either overlap between the fields of view of the cameras or on a visible ground plane. We show that if information about ...
132
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper discusses the wide baseline matching problem where the camera parameters are known up to an error factor and the ground surface is considered planar. Junctions of diffe...
176
click to vote
CG
2004
Springer
15 years 6 months ago
2004
Springer
The Binet formula gives a natural way for Fibonacci numbers to be viewed as a function of a complex variable. We experimentally study the complex dynamics of the Fibonacci numbers...
171
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Relevance feedback (RF) schemes based on support vector machine (SVM) have been widely used in content-based image retrieval. However, the performance of SVM based RF is often poo...