1026 search results - page 85 / 206 » A Methodology for Equational Reasoning |
DOLAP
2005
ACM
13 years 11 months ago
2005
ACM
Several surveys indicate that a significant percentage of data warehouses fail to meet business objectives or are outright failures. One of the reasons for this is that requireme...
DAGSTUHL
1996
13 years 10 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
SLOGICA
2008
13 years 9 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
TGIS
2008
13 years 9 months ago
2008
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...