1
Udgivet 2013
Indholdsfortegnelse: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...
Få fuldtekst
Electronisk eBog
3
Udgivet 2008
Indholdsfortegnelse: ..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...
Få fuldtekst
Electronisk eBog