Sciweavers

2333 search results - page 24 / 467
» Recursive Computational Depth
Sort
View
JUCS
2007
120views more  JUCS 2007»
13 years 7 months ago
Compile-time Computation of Polytime Functions
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
ICCV
1998
IEEE
14 years 5 days ago
A Maximum-Flow Formulation of the N-Camera Stereo Correspondence Problem
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...
Sébastien Roy, Ingemar J. Cox
ICCV
1995
IEEE
13 years 11 months ago
A Multibaseline Stereo System with Active Illumination and Real-Time Image Acquisition
We describe our implementation of a parallel depth recovery scheme for a four-camera multibaseline stereo in a convergent configuration. Our system is capable of image capture at ...
Sing Bing Kang, Jon A. Webb, C. Lawrence Zitnick, ...
KI
2007
Springer
14 years 2 months ago
Inductive Synthesis of Recursive Functional Programs
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
Martin Hofmann 0008, Andreas Hirschberger, Emanuel...
CASES
2007
ACM
13 years 12 months ago
Stack size reduction of recursive programs
For memory constrained environments like embedded systems, optimization for program size is often as important, if not more important, as optimization for execution speed. Commonl...
Stefan Schäckeler, Weijia Shang