Advances and Trends in Artificial Intelligence. From Theory to Practice / Wotawa, Franz ; Friedrich, Gerhard ; Pill, Ingo ; Koitz-Hristov, Roxane ; Ali, Moonis  

Público ISBD Ningún comentario para este registro. Título : Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Wotawa, Franz, ; Friedrich, Gerhard, ; Pill, Ingo, ; Koitz-Hristov, Roxane, ; Ali, Moonis, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXIII, 865 p. 653 ilustraciones, 201 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-22999-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial  Red de computadoras  Ingeniería Informática  Ciencias de la Computación  Informática  Protección de datos  Redes de comunicación informática  Ingeniería Informática y Redes  Teoría de la Computación  Matemáticas de la Computación  Seguridad de datos e información Clasificación: 006.3 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 32.ª Conferencia Internacional sobre Aplicaciones Industriales, de Ingeniería y Otras Aplicaciones de Sistemas Inteligentes Aplicados, IEA/AIE 2019, celebrada en Graz, Austria, en julio de 2019. Los 41 artículos completos y 32 artículos breves presentados fueron cuidadosamente revisado y seleccionado entre 151 presentaciones. La conferencia IEA/AIE 2019 continuará la tradición de enfatizar las aplicaciones de sistemas inteligentes aplicados para resolver problemas de la vida real en todas las áreas. Estas áreas incluyen ingeniería, ciencia, industria, automatización y robótica, negocios y finanzas, medicina y biomedicina, bioinformática, ciberespacio e interacciones hombre-máquina. IEA/AIE 2019 tendrá un enfoque especial en la conducción automatizada y los sistemas autónomos y también en contribuciones relacionadas con dichos sistemas o su verificación y validación. . Nota de contenido: AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, held in Graz, Austria, in July 2019. The 41 full papers and 32 short papers presented were carefully reviewed and selected from 151 submissions. The IEA/AIE 2019 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE 2019 will have a special focus on automated driving and autonomous systems and also contributions dealing with such systems or their verification and validation as well. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / [documento electrónico] / Wotawa, Franz, ; Friedrich, Gerhard, ; Pill, Ingo, ; Koitz-Hristov, Roxane, ; Ali, Moonis,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXIII, 865 p. 653 ilustraciones, 201 ilustraciones en color. ISBN : 978-3-030-22999-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial  Red de computadoras  Ingeniería Informática  Ciencias de la Computación  Informática  Protección de datos  Redes de comunicación informática  Ingeniería Informática y Redes  Teoría de la Computación  Matemáticas de la Computación  Seguridad de datos e información Clasificación: 006.3 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 32.ª Conferencia Internacional sobre Aplicaciones Industriales, de Ingeniería y Otras Aplicaciones de Sistemas Inteligentes Aplicados, IEA/AIE 2019, celebrada en Graz, Austria, en julio de 2019. Los 41 artículos completos y 32 artículos breves presentados fueron cuidadosamente revisado y seleccionado entre 151 presentaciones. La conferencia IEA/AIE 2019 continuará la tradición de enfatizar las aplicaciones de sistemas inteligentes aplicados para resolver problemas de la vida real en todas las áreas. Estas áreas incluyen ingeniería, ciencia, industria, automatización y robótica, negocios y finanzas, medicina y biomedicina, bioinformática, ciberespacio e interacciones hombre-máquina. IEA/AIE 2019 tendrá un enfoque especial en la conducción automatizada y los sistemas autónomos y también en contribuciones relacionadas con dichos sistemas o su verificación y validación. . Nota de contenido: AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, held in Graz, Austria, in July 2019. The 41 full papers and 32 short papers presented were carefully reviewed and selected from 151 submissions. The IEA/AIE 2019 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE 2019 will have a special focus on automated driving and autonomous systems and also contributions dealing with such systems or their verification and validation as well. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Tests and Proofs / Loulergue, Frédéric ; Wotawa, Franz  

Público ISBD Ningún comentario para este registro. Título : Tests and Proofs : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Loulergue, Frédéric, ; Wotawa, Franz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 107 p. 10 ilustraciones ISBN/ISSN/DL: 978-3-030-79379-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software Clasificación: 005.1 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Pruebas y Pruebas, TAP 2021, que se celebró como parte de Tecnologías de software: aplicaciones y fundamentos, STAF 2021, y se llevó a cabo en línea del 12 al 25 de junio de 2021. Los 6 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Se organizaron en secciones temáticas sobre aprendizaje, asignación de recursos de prueba y puntos de referencia y sobre pruebas. Nota de contenido: Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- Architecture-Guided Test Resource Allocation Via Logic -- A Benchmarks Library for Extended Timed Automata -- Testing -- Generating Timed UI Tests from Counterexamples -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Tests and Proofs : 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / [documento electrónico] / Loulergue, Frédéric, ; Wotawa, Franz,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XIII, 107 p. 10 ilustraciones. ISBN : 978-3-030-79379-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software Clasificación: 005.1 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Pruebas y Pruebas, TAP 2021, que se celebró como parte de Tecnologías de software: aplicaciones y fundamentos, STAF 2021, y se llevó a cabo en línea del 12 al 25 de junio de 2021. Los 6 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 10 presentaciones. Se organizaron en secciones temáticas sobre aprendizaje, asignación de recursos de prueba y puntos de referencia y sobre pruebas. Nota de contenido: Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- Architecture-Guided Test Resource Allocation Via Logic -- A Benchmarks Library for Extended Timed Automata -- Testing -- Generating Timed UI Tests from Counterexamples -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- FuSeBMC: An Energy-E cient Test Generator for Finding Security Vulnerabilities in C Programs. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021. The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200