Search Results for Algorithms.

74 sonuç bulundu

Tümünü Seç

1 .. 3 4 5 6 7

000000000000DEFAULTTR

49.

Principles in Noisy Optimization Applied to Multi-agent Coordination

Yazar

Rakshit, Pratyusha. author.

https://doi.org/10.1007/978-981-10-8642-7

Format:

Electronic Resources

Alıntı:

introduction to Swarm and Evolutionary Optimization algorithms. Chapter 2 includes a thorough review of agent

50.

Transactions on Computational Science XXXIII

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-58039-4

Format:

Electronic Resources

Alıntı:

-Round Algorithms for Point Placement in the Plane -- Neighborhood Graphs and Locally Minimal

51.

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Yazar

Calude, Cristian S. editor.

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

Format:

Electronic Resources

Alıntı:

; nature-inspired algorithms; artificial immune systems; artificial life; membrane computing; amorphous computing

52.

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

53.

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

54.

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

https://doi.org/10.1007/978-3-030-20652-9

Format:

Electronic Resources

Alıntı:

; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional

55.

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

56.

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent

57.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

https://doi.org/10.1007/978-3-030-24258-9

Format:

Electronic Resources

Alıntı:

restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues

58.

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Yazar

Manea, Florin. editor.

https://doi.org/10.1007/978-3-319-94418-0

Format:

Electronic Resources

Alıntı:

Extractors or Simulators -- Algorithms and Geometric Constructions -- Computing with Multisets : A Survey on

59.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

60.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that

Tümünü Seç

1 .. 3 4 5 6 7

74 sonuç bulundu

	{displayName}	{count}
{error}