Bp12

Military Construction and Veterans Affairs, and Related Agencies Appropriations for Fiscal Year ...

Military Construction and Veterans Affairs and Related Agencies Appropriations for Fiscal Year 2007: Justifications: Navy and Marine Corps, Reserve components, Defense agencies

Robust Process Mining with Guarantees

This book presents techniques for process discovery, conformance checking and enhancement. For process discovery, it introduces the Inductive Miner framework: a recursive skeleton for discovery techniques that in itself provides several guarantees. The framework is instantiated in several concrete discovery techniques, each of which targets a specific challenge of process discovery, such as incompleteness of information or noisy behavior. For conformance checking, it introduces the Projected Conformance Checking framework, which focuses on speed, but nevertheless provides several guarantees, such as that for certain classes of models, it can decide language equivalence. For enhancement, it introduces the Inductive visual Miner, a well-polished end-user focused tool that includes process discovery, conformance checking and that can visualize performance on a discovered model, all without any user input.