Search Results for Tools.

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

https://doi.org/10.1007/978-3-319-67035-5

Format:

Electronic Resources

Alıntı:

on high performance architectures, tools and technologies; parallel numerical algorithms

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor.

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

Format:

Electronic Resources

Alıntı:

demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal

Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings

Yazar

Linte, Cristian A. editor.

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

Format:

Electronic Resources

Alıntı:

neurological injuries -- Linear Object Registration of Interventional Tools -- Augmented Reality-Enhanced

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

Yazar

Bosse, Tibor. editor.

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

Format:

Electronic Resources

Alıntı:

emotion models and provide tools for systematic comparisons of alternative approaches through approaches

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

Yazar

Bac, Alexandra. editor.

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

Format:

Electronic Resources

Alıntı:

, transfer of mathematical tools, parallel computation in multi-dimensional volume context, hierarchical

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

Yazar

Berry, Stuart. editor.

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

Format:

Electronic Resources

Alıntı:

solve large and complex problems. Topics and features: Introduces the key modelling methods and tools

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Yazar

Hodicky, Jan. editor.

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

Format:

Electronic Resources

Alıntı:

Tools for Algorithm Development and Validation Applied to Unmanned Systems -- Computer Models of Sensor

	{displayName}	{count}
{error}