Buch, Englisch, Band 838, 189 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 318 g
Buch, Englisch, Band 838, 189 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 318 g
Reihe: Advances in Intelligent Systems and Computing
ISBN: 978-3-319-98055-3
Verlag: Springer International Publishing
The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Improved Logical Passing Strategy and Gameplay Algorithm for Humanoid Soccer Robots using Colored Petri nets Kieutran.- Analyzing Cleaning Robots using Probabilistic Model Checking.- From Petri Nets to UML: A New Approach for Model Analysis.- Using Belief Propagation-based Proposal Preparation for Automated Negotiation over Environmental Issues.- SAIL: A Scalable Wind Turbine Fault Diagnosis Platform A Case Study on Gearbox Fault Diagnosis.- Efficient Authentication of Approximate Record Matching for Outsourced Databases.- Active Dependency Mapping A Data-Driven Approach to Mapping Dependencies in Distributed Systems.