12774 search results - page 2229 / 2555 » A Framework for Proof Systems |
142
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
We present a new framework for artificial life involving physically simulated, three-dimensional blocks called Division Blocks. Division Blocks can grow and shrink, divide and fo...
156
click to vote
GECCO
2007
Springer
2007
Springer
Optimising the flow of experiments to a robot scientist with multi-objective evolutionary algorithms
16 years 1 months ago
A Robot Scientist is a physically implemented system that applies artificial intelligence to autonomously discover new knowledge through cycles of scientific experimentation. Ad...
168
click to vote
GFKL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...
204
click to vote
GPC
2007
Springer
16 years 1 months ago
2007
Springer
Grid systems are well-known for its high performance computing or large data storage with inexpensive devices. They can be categorized into two major types: computational grid and ...
168
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Low-power design became crucial with the widespread use of the embedded systems, where a small battery has to last for a long period. The embedded processors need to ef...