Zobrazeno 1 - 10
of 12
pro vyhledávání: 'Tuček, Jan, 1953-'
Autor:
Radek Silhavy
This book covers themes related to artificial intelligence in systems and networks application. Selected papers explore modern neural networks application, optimization and hybrid and bio-inspired algorithms are covered too. The refereed proceedings
This book serves as both a textbook and handbook on the benchmarking of systems and components used as building blocks of modern information and communication technology applications. It provides theoretical and practical foundations as well as an in
Autor:
Hana Chockler, Georg Weissenbacher
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented togeth
Autor:
Ahmed Bouajjani, David Monniaux
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes
Autor:
Christel Baier, Cesare Tinelli
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on T
Autor:
Kenneth McMillan, Xavier Rival
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefu
'This reference offers a wide-ranging selection of key research in a complex field of study,discussing topics ranging from using machine learning to improve the effectiveness of agents and multi-agent systems to developing machine learning software f
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected fro
Autor:
Ahmed Bouajjani, Oded Maler
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited
Autor:
Gabrielle Allen, Jaroslaw Nabrzyski, Edward Seidel, Geert Dick van Albada, Jack Dongarra, Peter M.A. Sloot
“There is something fascinating about science. One gets such wholesale returns of conjecture out of such a tri?ing investment of fact. ” Mark Twain, Life on the Mississippi The challenges in succeeding with computational science are numerous and