6768 search results - page 1264 / 1354 » Developing Applications Using Model-Driven Design Environmen... |
135
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
146
click to vote
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
120
click to vote
APCHI
2004
IEEE
15 years 6 months ago
2004
IEEE
An earlier paper has covered the development of a paper prototype of NetWorker, a tool designed to facilitate a Web usage referred to as the Collect-Compare-Choose cycle. Here we d...
124
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
A second-generation autonomous music composition tool is developed using Genetic Algorithms. The composition is conducted in two Stages. The first Stage generates and identifies m...
137
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...