234 search results - page 22 / 47 » Algorithmic Power from Declarative Use of Redundant Constrai... |
105
Voted
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
ISCI
2006
15 years 12 days ago
2006
Many special purpose algorithms exist for extracting information from streaming data. Constraints are imposed on the total memory and on the average processing time per data item....
77
Voted
SHAPE
1999
Springer
15 years 4 months ago
1999
Springer
The objective of this work is the automatic detection and grouping of imaged elements which repeat in a scene. We show that structures that repeat in the world (for example wall p...
211
Voted
POPL
2004
ACM
16 years 22 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
142
click to vote
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...