確率的に既知のイベントログの上位K個の実現の順位付け

確率的に既知のイベントログから上位K個の実現を効率的に計算するアルゴリズムを提案し、その有用性を評価する。