4880 search results - page 122 / 976 » Manuals as Structured Programs |
159
Voted
SNPD
2003
15 years 4 months ago
2003
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
153
Voted
ICANN
2010
Springer
15 years 4 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
116
click to vote
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
142
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a novel approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local evidence, ou...
131
Voted
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...