Search Results for Algorithms.

49 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

Natural Computing Algorithms

Yazar

Brabazon, Anthony. author.

http://dx.doi.org/10.1007/978-3-662-43631-8

Format:

Electronic Resources

Alıntı:

Natural Computing Algorithms Brabazon, Anthony. author.

Foraging-Inspired Optimisation Algorithms

Yazar

Brabazon, Anthony. author.

https://doi.org/10.1007/978-3-319-59156-8

Format:

Electronic Resources

Alıntı:

Foraging-Inspired Optimisation Algorithms Brabazon, Anthony. author.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

Bridging Constraint Satisfaction and Boolean Satisfiability

Yazar

Petke, Justyna. author.

http://dx.doi.org/10.1007/978-3-319-21810-6

Format:

Electronic Resources

Alıntı:

Artificial Intelligence: Foundations, Theory, and Algorithms,

Hybrid Metaheuristics Powerful Tools for Optimization

Yazar

Blum, Christian. author.

http://dx.doi.org/10.1007/978-3-319-30883-8

Format:

Electronic Resources

Alıntı:

Artificial Intelligence: Foundations, Theory, and Algorithms,

Genetic Programming Theory and Practice XI

Yazar

Riolo, Rick. editor.

http://dx.doi.org/10.1007/978-1-4939-0375-7

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings

Yazar

Chaudhuri, Kamalika. editor.

http://dx.doi.org/10.1007/978-3-319-24486-0

Format:

Electronic Resources

Alıntı:

Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Yazar

Heule, Marijn. editor.

http://dx.doi.org/10.1007/978-3-319-24318-4

Format:

Electronic Resources

Alıntı:

advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers

Yazar

Rossi, Federico. editor.

http://dx.doi.org/10.1007/978-3-319-32695-5

Format:

Electronic Resources

Alıntı:

cover the following topics: evolutionary computation, bioinspired algorithms, genetic algorithms

10.

An Introduction to Metaheuristics for Optimization

Yazar

Chopard, Bastien. author.

https://doi.org/10.1007/978-3-319-93073-2

Format:

Electronic Resources

Alıntı:

Annealing -- Ant Colony Optimization (ACO) -- Non-PSO Optimization -- Firefly Algorithm, Cuckoo Algorithm

11.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

https://doi.org/10.1007/978-3-030-31517-7

Format:

Electronic Resources

Alıntı:

systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

12.

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Yazar

Böckenhauer, Hans-Joachim. editor.

https://doi.org/10.1007/978-3-319-98355-4

Format:

Electronic Resources

Alıntı:

problems, stability of approximation algorithms, reoptimization algorithms, computer science education, and

Tümünü Seç

1 2 3 4 5

49 sonuç bulundu

	{displayName}	{count}
{error}