Synopsis
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.
"synopsis" may belong to another edition of this title.
