Search Results for Algorithms.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

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.

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Yazar

Bacon, Dave. editor.

http://dx.doi.org/10.1007/978-3-642-54429-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

http://dx.doi.org/10.1007/978-3-319-06089-7

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

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

Format:

Electronic Resources

Alıntı:

, Algorithms for Checking the Properties of Augmented Marked Graphs -- Index References.

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

Yazar

Cazenave, Tristan. editor.

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

Format:

Electronic Resources

Alıntı:

algorithms -- Experimental approach -- Job-level algorithms for "Connect6" opening position analysis

Guided Self-Organization: Inception

Yazar

Prokopenko, Mikhail. editor.

http://dx.doi.org/10.1007/978-3-642-53734-9

Format:

Electronic Resources

Alıntı:

evolutionary algorithms, creating a rich spectrum reflecting this emerging field. Demonstrating several

Open Problems in Mathematics and Computational Science

Yazar

Koç, Çetin Kaya. editor.

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

Format:

Electronic Resources

Alıntı:

related algorithms, theorems, and proofs, and then by suggesting creative solutions. The authors feel a

Regulated Grammars and Automata

Yazar

Meduna, Alexander. author.

http://dx.doi.org/10.1007/978-1-4939-0369-6

Format:

Electronic Resources

Alıntı:

represented by formal languages defined by appropriate formal devices. It provides both algorithms and a

10.

Theory and Principled Methods for the Design of Metaheuristics

Yazar

Borenstein, Yossi. editor.

http://dx.doi.org/10.1007/978-3-642-33206-7

Format:

Electronic Resources

Alıntı:

-- Experimental Analysis of Optimization Algorithms: Tuning and Beyond -- Formal Search Algorithms + Problem

11.

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings

Yazar

Auer, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10

12.

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Sinz, Carsten. editor.

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

Format:

Electronic Resources

Alıntı:

A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms

	{displayName}	{count}
{error}