Search Results for Optimization.

49.

Yazar

Medina, Jesús. editor.

Format:

Electronic Resources

Alıntı:

; logical methods in mining knowledge from big data; metaheuristics and machine learning; optimization

50.

Yazar

Legay, Axel. editor.

Format:

Electronic Resources

Alıntı:

Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification

51.

Yazar

Legay, Axel. editor.

Format:

Electronic Resources

Alıntı:

Verification -- Congruence Closure with Free Variables -- On Optimization Modulo Theories, MaxSMT and Sorting

52.

Yazar

Rovatsos, Michael. editor.

Format:

Electronic Resources

Alıntı:

Social Environments with Opponent Models -- A Particle Swarm Optimization Metaheuristic for the Blocking

	{displayName}	{count}
{error}