400 search results - page 52 / 80 » Moving Proofs-As-Programs into Practice |
IPPS
1998
IEEE
14 years 29 days ago
1998
IEEE
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
GECCO
2006
Springer
14 years 11 days ago
2006
Springer
We show that there are unimodal fitness functions and genetic algorithm (GA) parameter settings where the GA, when initialized with a random population, will not move close to the...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
In orthodontics, retraction springs made of metallic wires are often used to move a tooth with respect to another by the virtue of the spring back effect. Specially selected form o...
EOR
2006
13 years 8 months ago
2006
In this study, we deal with the robotic cell scheduling problem with two machines and identical parts. In an ideal FMS, CNC machines are capable of performing all the required ope...