Buscas alternativas:
implementing algorithm » complement algorithm (Expandir a busca), complementarity algorithm (Expandir a busca)
program implementing » program implementation (Expandir a busca), programa implementado (Expandir a busca)
algorithm testing » algorithm using (Expandir a busca), algorithm design (Expandir a busca), algorithms using (Expandir a busca)
testing program » testing programs (Expandir a busca), teaching program (Expandir a busca), feeding program (Expandir a busca)
testing methods » costing methods (Expandir a busca), teaching methods (Expandir a busca), test methods (Expandir a busca)
implementing algorithm » complement algorithm (Expandir a busca), complementarity algorithm (Expandir a busca)
program implementing » program implementation (Expandir a busca), programa implementado (Expandir a busca)
algorithm testing » algorithm using (Expandir a busca), algorithm design (Expandir a busca), algorithms using (Expandir a busca)
testing program » testing programs (Expandir a busca), teaching program (Expandir a busca), feeding program (Expandir a busca)
testing methods » costing methods (Expandir a busca), teaching methods (Expandir a busca), test methods (Expandir a busca)
1
Assuntos:
“...formal methods...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese
2
“... to show that R-ELM and OR-ELM are a particular case of the methods proposed in this thesis, termed GR-ELM...”
Generalização do extreme learning machine regularizado para problemas de múltiplas saídas
Tese