Systems and methods for instance counting and for the identification of a
temporal pattern in an event sequence. The system addresses the use of "earliest-first"
and "no-reuse" policies as criteria for the correctness of counting. The system
also achieves higher performance than conventional methods by utilizing incremental computation.
