Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient On-line Detection of Temporal Patterns   Identifying a temporal pattern of events is a fundamental task of on-line
(real-time) verification. We present efficient schemes for on-line monitoring
of events for identifying desired/undesired patterns of events. The schemes use
preprocessing to ensure that the number of comparisons during run-time is
minimized. In particular, the first comparison following the time point when an
execution sub-sequence cannot be further extended to satisfy the temporal
requirements, halts the process that monitors the sub-sequence.

31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga