861 search results - page 57 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
118
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
127
click to vote
IJCAI
1989
15 years 4 months ago
1989
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
126
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
105
click to vote
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
118
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...