2911 search results - page 428 / 583 » A Theory of Expressiveness in Mechanisms |
122
click to vote
DNA
2007
Springer
15 years 7 months ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
122
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
101
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The artificial immune system approach for self-nonself discrimination and its application to anomaly detection problems in engineering is showing great promise. A seminal contribu...
181
click to vote
IWCLS
2007
Springer
15 years 7 months ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
121
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...