SlideShare a Scribd company logo
DATA MINING
event streams
for
Massiva Roudjane, Djamal Rebaïne
Raphaël Khoury, Sylvain Hallé
Real-Time
Oct. 18th, 2018
Real-Time Data Mining for Event Streams
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
88
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
Z
Z
Z
expected
normal
rou�ne
nominal
"ok"
surprising
out of the ordinary
strange
different
"not ok"
TREND
(PATTERN)
$$$$$
$$$$$
$$$$$
x=104 y=12
x=232 y=21
119.5 s 4 1-2
1955-11-12
APPL
MSFT
=123.34
=208.56
GOGL
AMZN
=314.16
=271.82
10432.3
Src
Dst
=1.2.3.4:403
=5.6.7.8:221
Many elements of so�ware systems can be
modelled as pieces of data called events.
A stream (or trace) is a sequence of events.
The rate at which
events are produced
is called the
throughput.
A stored copy of a
stream is called a log.
. . .
”
∑
Event streams can be processed in various
ways. Some examples:
Aggrega�on
Pa�ern
detec�on
Visualiza�on
What is the
average price of
MSFT over 5 days?
Display bandwidth
usage for the
last 24 hours.
Does
ever collide
with ?
” ”
“ “ “
We are interested in two special kinds of
computa�on over streams.
Compu�ng trends over
a stream
Finding out if a stream
deviates from a given trend
We are interested in two special kinds of
computa�on over streams.
Compu�ng trends over
a stream
Finding out if a stream
deviates from a given trend
data mining
monitoring
Event stream processing library
f Σ f
n
{
n
n
Apply Cumulate Trim
ForkDecimate Group
WindowSliceFilter
<?
+
=?
−
÷
×
<
Booleans
2
3
4
π
Numbers
abc
Strings
<a><a><a>
XML
3 8 a
3 8 a
2 6 c
Tuples
+
⊇?
Functions Sets
Plots
EVENTS FUNCTIONS PROCESSORS
Event stream processing library
COMPOSITION
Event stream processing library
Event Stream
Processing
with
Sylvain Hallé
Log crunching
and analysis made easy
300+ pages
Over 120 code examples
Color illustra�ons
Open access (i.e. free)
To appear on Presses
de l'Université du Québec
(Winter 2019)
bit.ly/beepbeep-book
Observa�on: many scenarios correspond to the
same generic workflow configured differently
<?d
{
β d
δP
n
<?d
{
β d
δP
n
input
An
arbitrary
stream of
events.
<?d
{
β d
δP
n
trend processor
Computes a "trend" over
a finite sequence of events
<?d
{
β d
δP
n
sliding window
width
The trend is
computed over the
last n events.
<?d
{
β d
δP
n
reference trend
Used as a basis for
comparison with the current stream
<?d
{
β d
δP
n
distance metric
Computes the "distance" between
the computed trend and the reference
<?d
{
β d
δP
n
distance threshold
Maximum acceptable
distance, according to the
selected metric
<?d
{
β d
δP
n
comparison func�on
Checks if distance is above
threshold
<?d
{
β d
δP
n
output
A stream of
Booleans.
⊤ is emi�ed
whenever the
input stream
deviates "too
much" from P.
<?d
{
β d
δP
n
This pa�ern can be encapsulated into a
generic group processor taking 6 parameters.
Various computa�ons can be achieved by giving
different values to these parameters.
β
i
f
#
β
i
f
#
Calculates the number of dis�nct symbols in
the input stream
iden�ty
func�on
map size
map
symbol → # occurrences
β
i
f
#
n
4 3
P δ
- 1
d
≤
<?d
{
3
4
i
f
#
1
- ≤
Alerts whenever more than 3 dis�nct symbols
were seen in the last 4 events
Group counter = new Group(1, 1);
{
SlicerMap slicer = new SlicerMap(
new IdentityFunction(1), new Passthrough(1));
counter.associateInput(INPUT, slicer, INPUT);
ApplyFunction size = new ApplyFunction(Maps.Size);
connect(slicer, size);
counter.associateOutput(OUTPUT, size, OUTPUT);
counter.addProcessors(slicer, size);
}
TrendDistance<> alarm =
new TrendDistance<HashMap,Number,Number>(
3, 4, slicer, Numbers.Subtraction, 1,
Numbers.IsLessThan);
8 lines of code
β
f
Σ
0
+
Σ
0
+
÷
1
β
f
Σ
0
+
Σ
0
+
÷
1
Calculates the running average of the input
stream...
...i.e. the average of all values seen
so far
β
f
Σ
0
+
Σ
0
+
÷
1
n
3 6
P δ
½
d
≤
| |
21
−
β
f
Σ
0
+
Σ
0
+
÷
1
n
3 6
P δ
½
d
≤
| |
21
−
21ABS( − ) Manha�an Distance
of dimension 1
<?d
{
6
3
½
≤
Alerts whenever the running average of the
last 3 events deviates by more than ½ from 6
f
Σ
0
+
Σ
0
+
÷
1
| |
21
−
<?d
{
6
3
½
≤
Alerts whenever the running average of the
last 3 events deviates by more than ½ from 6
f
Σ
0
+
Σ
0
+
÷
1
| |
21
−
15 lines of code
β
i
Σ
0
+
1
β
i
Σ
0
+
1
Calculates the number of occurrences of
each symbol in the input stream
non-normalized probability
density func�on
a
b
c
3
1
5
n
9
P δ
2
d
≤
a
b
c
6
1
2
n
9
P δ
2
d
≤
a
b
c
6
1
2
Reference pa�ern
is a distribu�on
(Manha�an) map distance func�on
a
b
c
6
1
2
a
b
c
3
4
1
= |6−3|+|1−4|+|2−1| = 7
β
i
Σ
0
+
1
n
9
P δ
2
d
≤
a
b
c
6
1
2
<?d
{
β d
δP
n
So far, the reference trend has been
a single object.
What if there could be
mul�ple possible trends?
PP
mul�modal trend
<?d
{
β d
δP
n
So far, the reference trend has been
a single object.
Given a finite set of points P = {p1,p2,...},
define func�on:
Δ
min
p'∈P
Δ(p,p')(p) =
It is the distance
between p and the
closest point in P.
Δ can be any distance metric: Euclidean distance,
Manha�an distance, etc.
p1
p2
p3
β
f
Σ
0
+
Σ
0
+
÷
1
n
3 6
P δ
½
d
≤
| |
21
−
"Alerts whenever the
running average of the
last 3 events deviates
by more than ½
from 6"
β
f
Σ
0
+
Σ
0
+
÷
1
n
3 6
P δ
½
d
≤
| |
21
−
{6,9}
P δ
| |
21
−
"Alerts whenever the
running average of the
last 3 events deviates
by more than ½
from 6 and 9"
3 4 5 6 7 8 9 10 11 ......
In this case, the func�on , along with
and , defines two 1-dimensional "balls"
of radius ½.
The alarm is triggered when the running average
does not lie within one of these balls.
P d
3 4 5 6 7 8 9 10 11 ......
In this case, the func�on , along with
and , defines two 1-dimensional "balls"
of radius ½.
The alarm is triggered when the running average
does not lie within one of these balls.
P d
6.1, 6.0, 6.2 6.1
x
✓
3 4 5 6 7 8 9 10 11 ......
In this case, the func�on , along with
and , defines two 1-dimensional "balls"
of radius ½.
The alarm is triggered when the running average
does not lie within one of these balls.
P d
6.1, 6.0, 6.2 6.1
x
✓
7.3, 8.9, 7.5 7.9
x
✗
3 4 5 6 7 8 9 10 11 ......
In this case, the func�on , along with
and , defines two 1-dimensional "balls"
of radius ½.
The alarm is triggered when the running average
does not lie within one of these balls.
P d
6.1, 6.0, 6.2 6.1
x
✓
7.3, 8.9, 7.5 7.9
x
✗
Mul�-modal trends can also be
mul�-dimensional!
Consider streams of symbols a and b.
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
Consider streams of symbols a and b.
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
computes a
map of the number
of occurrences of
a and b
extracts the
map's values
normalizes the vector
casts into DoublePoint
Consider streams of symbols a and b.
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
The output is a two-dimensional point
(or vector)
( 0.33, 0.66 )
frac�on
of a's frac�on
of b's
Consider streams of symbols a and b.
Suppose that the observed streams fall in
two categories:
a,a,a,a,b,a,b,a,b,a
a,a,a,a,a,b,b,a,a,b
b,b,a,a,a,b,a,a,a,a
Roughly
70% of a, 30% of b
a,b,a,b,b,b,b,b,b,a
b,b,b,b,a,a,b,b,a,b
b,a,b,b,b,b,b,b,a,a
Roughly
30% of a, 70% of b
( 0.7, 0.3 ) ( 0.3, 0.7 )
1 2
Streams can be seen as two-dimensional
points:
Fraction of a's
Fractionofb's
0% 100%
100%
1
2
(0.7,0.3)
(0.3,0.7)
β
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
n P δ
.15
d
≤9 ΔE
(0.3,0.7)
(0.7,0.3)
{
}
<?d
{
9
.15
≤
ΔE
(0.3,0.7)
(0.7,0.3)
{
}
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
Alerts whenever the distribu�on of the last 9
events is further than .15 from either category
Fraction of a's
Fractionofb's
.15
Fraction of a's
Fractionofb's
a,a,b,a,a,b,a,b,a ( 0.67, 0.33 )p=
p
Fraction of a's
Fractionofb's
a,a,b,a,a,b,a,b,a ( 0.67, 0.33 )p=
p
d=0.047✓
Fraction of a's
Fractionofb's
b,a,b,a,b,a,b,a,b ( 0.44, 0.56 )p=
p
Fraction of a's
Fractionofb's
b,a,b,a,b,a,b,a,b ( 0.44, 0.56 )p=
p
d=0.2
This stream is "too different" from
either category or !1 2
✗
object
(e.g. stream)
feature extrac�on feature vector
(n dimensions)
? ⟨ 3.8, 0.5, 1.1 ⟩F
A recurring process in data mining:
Examples of feature vectors:
Distribu�on of symbols
Sta�s�cal moments
Any other numerical computa�on
<?d{
β d
δP
n
But where does this reference trend
come from?
?
<?d{
β d
δ
n
Op�on #1: it is computed
from the stream itself.
{m
β
<?d{
β d
δ
n
Op�on #1: it is computed
from the stream itself.
{m
β
fork
The stream
is split
in two
<?d{
β d
δ
n
Op�on #1: it is computed
from the stream itself.
{m
β
reference trend
The reference is computed over
a window of width m
<?d{
β d
δ
n
Op�on #1: it is computed
from the stream itself.
{m
β
stream offset
Second stream copy is
trimmed of its first m events
<?d{
β d
δ
n
Op�on #1: it is computed
from the stream itself.
{m
β
The rest of the pipe
works as before
m n
Trend from
"the present"
Trend from
"the past"
vs.
β β
An alarm is triggered when the stream's current
trend becomes "too different" from what it was
in the past
⇒ self-correla�on
{
<?d
{
β d
δ
nm
This pa�ern can be encapsulated into a
generic group processor taking 6 parameters.
{
<?d
{
β d
δ
nm
This pa�ern can be encapsulated into a
generic group processor taking 6 parameters.
Self-Correlated
Trend Distance
(SCTD)
β
f
Σ
0
+
Σ
0
+
÷
1
n
3 6
δ
1
d
≤
| |
21
−
m
{
<?d
{
6
≤| |
21
−
6
3
1
f
Σ
0
+
Σ
0
+
÷
1
Alerts whenever the running average of the
last 3 events deviates by more than 1 from
the running average of the 6 before
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
Manhattan distance between averages
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
Average between t−8 and t−3
Average between t−2 and t
Manhattan distance between averages
threshold
exceeded
0 2 4 6 8 10 12 14 16 18
0
1
2
3
4
5
6
t
Input stream
The average in
this window
("the past")
the average in
this window
("the present")
is too far
from
+
object feature extrac�on feature vector
(n dimensions)
? ⟨ 3.8, 0.5, 1.1 ⟩F
⟨ 3.8, 0.5, 1.1 ⟩
⟨ 6.5, 0.2, 1.1 ⟩
⟨ 5.0, 0.1, 1.6 ⟩
⟨ 4.4, 0.5, 0.9 ⟩
. . .
set of
feature vectors
C
clustering
algorithm
+
+ +
+
+
+
+
+
++
+
+
+
+
clusters
cluster
centroid
cluster
radius
<?d{
β d
δP
n
But where does this reference trend
come from?
?
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
Unpacks a set of streams
and feeds them one by
one
unpacking
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
Feed each event of a stream to
a processor and collect its last
output
dropping
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
Compute a trend over
a stream (same as before)
trend
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
Collate trend
objects
from all
streams into
a set
pack
β α
}{
α
Op�on #2: it is computed ahead of �me
from a set of reference streams.
Compute a
global trend
object from
all individual
trends
aggregate
β α
}{
α
This process can be encapsulated into a generic
group processor with 2 parameters.
β
f
Σ
0
+
Σ
0
+
÷
1
α
f
Σ
0
+
Σ
0
+
÷
1
β
f
Σ
0
+
Σ
0
+
÷
1
α
f
Σ
0
+
Σ
0
+
÷
1
running average
of a stream
average of values
in a set
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
{⟨1,2,1,1⟩,
⟨2,2,1,2⟩,
⟨3,1,1,1⟩}
a set of 3 streams
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
{⟨1,2,1,1⟩,
⟨2,2,1,2⟩,
⟨3,1,1,1⟩}
a set of 3 streams
1,2,1,1 1¼
{1¼}
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
{⟨1,2,1,1⟩,
⟨2,2,1,2⟩,
⟨3,1,1,1⟩}
a set of 3 streams
2,2,1,2 1¾
{1¼,1¾}
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
{⟨1,2,1,1⟩,
⟨2,2,1,2⟩,
⟨3,1,1,1⟩}
a set of 3 streams
3,1,1,1 1½
{1¼,1¾,1½}
}{
f
Σ
0
+
Σ
0
+
÷
1
f
Σ
0
+
Σ
0
+
÷
1
{⟨1,2,1,1⟩,
⟨2,2,1,2⟩,
⟨3,1,1,1⟩}
a set of 3 streams
1½
{1¼,1¾,1½}
the average
of all running
averages
+
object feature extrac�on feature vector
(n dimensions)
? ⟨ 3.8, 0.5, 1.1 ⟩F
⟨ 3.8, 0.5, 1.1 ⟩
⟨ 6.5, 0.2, 1.1 ⟩
⟨ 5.0, 0.1, 1.6 ⟩
⟨ 4.4, 0.5, 0.9 ⟩
. . .
set of
feature vectors
C
clustering
algorithm
+
+ +
+
+
+
+
+
++
+
+
+
+
clusters
cluster
centroid
cluster
radius
C
The ML pale�e uses Apache Commons Mαth][which supports the following
clustering algorithms:
,
K-Means++
C Fuzzy-K-Means
C DBSCAN
C Mul�-K-Means++
h�ps://commons.apache.org/proper/commons-math/userguide/ml.html
β α
}{
α
F C
}{
β
f
Σ
0
+
Σ
0
+
÷
1
α
f
2
running average
of a stream
K-means func�on
(with K=2)
}{
f
Σ
0
+
Σ
0
+
÷
1
f
2
}{
f
Σ
0
+
Σ
0
+
÷
1
f
2
{⟨5,6,5,6,7,6⟩,
⟨8,9,8,10,9⟩,
⟨6,6,7,6,6,5⟩,
⟨7,6,6,7,6,6,5⟩,
⟨9,8,10,9⟩}
a set of streams
}{
f
Σ
0
+
Σ
0
+
÷
1
f
2
{⟨5,6,5,6,7,6⟩,
⟨8,9,8,10,9⟩,
⟨6,6,7,6,6,5⟩,
⟨7,6,6,7,6,6,5⟩,
⟨9,8,10,9⟩}
a set of streams
{5.83,
8.8,
6.0,
6.14,
9}
set of running
averages
}{
f
Σ
0
+
Σ
0
+
÷
1
f
2
{⟨5,6,5,6,7,6⟩,
⟨8,9,8,10,9⟩,
⟨6,6,7,6,6,5⟩,
⟨7,6,6,7,6,6,5⟩,
⟨9,8,10,9⟩}
a set of streams
{5.83,
8.8,
6.0,
6.14,
9}
set of running
averages
{5.99,
8.9}
cluster
centroids
5 6 7 8 9 10 11 ......
β α
f
2
distribu�on of
symbols
K-means func�on
(with K=2)
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
}{ f
2
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
}{ f
2
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
a,a,a,a,b,a,b,a,b,a
a,a,a,a,a,b,b,a,a,b
b,b,a,a,a,b,a,a,a,a
a,b,a,b,b,b,b,b,b,a
b,b,b,b,a,a,b,b,a,b
b,a,b,b,b,b,b,b,a,a
{
}
}{ f
2
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
a,a,a,a,b,a,b,a,b,a
a,a,a,a,a,b,b,a,a,b
b,b,a,a,a,b,a,a,a,a
a,b,a,b,b,b,b,b,b,a
b,b,b,b,a,a,b,b,a,b
b,a,b,b,b,b,b,b,a,a
{
}
(0.7,0.3),
(0.3,0.7),
(0.7,0.3),
(0.7,0.3),
(0.3,0.7),
(0.3,0.7)
{
}
}{ f
2
i
Σ
0
+
1
f
DP
Σ=1
[ ]
1
a,a,a,a,b,a,b,a,b,a
a,a,a,a,a,b,b,a,a,b
b,b,a,a,a,b,a,a,a,a
a,b,a,b,b,b,b,b,b,a
b,b,b,b,a,a,b,b,a,b
b,a,b,b,b,b,b,b,a,a
{
}
(0.7,0.3),
(0.3,0.7),
(0.7,0.3),
(0.7,0.3),
(0.3,0.7),
(0.3,0.7)
{
}
cluster
centroids
{ (0.7,0.3),
(0.3,0.7) }
Fraction of a's
Fractionofb's
(0.7,0.3)
(0.3,0.7)
BeepBeep provides mul�ple func�onali�es for
performing data mining on event streams...
distance
metrics
| |
21
− ΔE
processor pipes
i
Σ
0
+
1
f
size
Σ
0
+
1
Σ
0
+
f
t
src
f
∪
+
f
2
clustering
algorithms
...and easy
means of
crea�ng custom
objects.
k
x y
event types and
manipula�on func�ons
Thank you!
liflab.ca
liflab.github.io/beepbeep-3
liflab.github.io/PatTheMiner

More Related Content

Similar to Real-Time Data Mining for Event Streams (20)

PPT
Input analysis
Bhavik A Shah
 
PDF
Streaming multiscale anomaly detection
Ravi Kiran B.
 
PDF
Probability_and_Statistics_for_engieers_
KhodurAlTarabulsi
 
PDF
MVPA with SpaceNet: sparse structured priors
Elvis DOHMATOB
 
PPT
Basic Concept Of Probability
guest45a926
 
PDF
Regression Analysis.pdf
ShrutidharaSarma1
 
PPT
An Efficient Algorithm to Verify Generalized False Paths
Olivier Coudert
 
PPT
Mean, variable , moment characteris function.ppt
sadafshahbaz7777
 
PPT
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 2
zukun
 
PDF
Model-counting Approaches For Nonlinear Numerical Constraints
Quoc-Sang Phan
 
PPT
Data integration and provenance-Chapter-14
saadhash286
 
PDF
Spike sorting: What is it? Why do we need it? Where does it come from? How is...
NeuroMat
 
PDF
Probability cheatsheet
Suvrat Mishra
 
PPT
Fst ch2 notes
David Tchozewski
 
PDF
Estimation Theory, PhD Course, Ghent University, Belgium
Stijn De Vuyst
 
PDF
Count-Distinct Problem
Kai Zhang
 
PDF
Probably, Definitely, Maybe
James McGivern
 
PPTX
Periodic pattern mining
Ashis Kumar Chanda
 
PPTX
Periodic pattern mining
Ashis Chanda
 
Input analysis
Bhavik A Shah
 
Streaming multiscale anomaly detection
Ravi Kiran B.
 
Probability_and_Statistics_for_engieers_
KhodurAlTarabulsi
 
MVPA with SpaceNet: sparse structured priors
Elvis DOHMATOB
 
Basic Concept Of Probability
guest45a926
 
Regression Analysis.pdf
ShrutidharaSarma1
 
An Efficient Algorithm to Verify Generalized False Paths
Olivier Coudert
 
Mean, variable , moment characteris function.ppt
sadafshahbaz7777
 
ECCV2008: MAP Estimation Algorithms in Computer Vision - Part 2
zukun
 
Model-counting Approaches For Nonlinear Numerical Constraints
Quoc-Sang Phan
 
Data integration and provenance-Chapter-14
saadhash286
 
Spike sorting: What is it? Why do we need it? Where does it come from? How is...
NeuroMat
 
Probability cheatsheet
Suvrat Mishra
 
Fst ch2 notes
David Tchozewski
 
Estimation Theory, PhD Course, Ghent University, Belgium
Stijn De Vuyst
 
Count-Distinct Problem
Kai Zhang
 
Probably, Definitely, Maybe
James McGivern
 
Periodic pattern mining
Ashis Kumar Chanda
 
Periodic pattern mining
Ashis Chanda
 

More from Sylvain Hallé (20)

PDF
A Tree-Based Definition of Business Process Conformance (Talk @ EDOC 2024)
Sylvain Hallé
 
PDF
Monitoring Business Process Compliance Across Multiple Executions with Stream...
Sylvain Hallé
 
PDF
A Stream-Based Approach to Intrusion Detection
Sylvain Hallé
 
PDF
Event Stream Processing with BeepBeep 3
Sylvain Hallé
 
PDF
Smart Contracts-Enabled Simulation for Hyperconnected Logistics
Sylvain Hallé
 
PDF
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
Sylvain Hallé
 
PDF
Synthia: a Generic and Flexible Data Structure Generator (Long Version)
Sylvain Hallé
 
PDF
Test Sequence Generation with Cayley Graphs (Talk @ A-MOST 2021)
Sylvain Hallé
 
PDF
Efficient Offline Monitoring of LTL with Bit Vectors (Talk at SAC 2021)
Sylvain Hallé
 
PDF
A Generic Explainability Framework for Function Circuits
Sylvain Hallé
 
PDF
Detecting Responsive Web Design Bugs with Declarative Specifications
Sylvain Hallé
 
PDF
Streamlining the Inclusion of Computer Experiments in Research Papers
Sylvain Hallé
 
PDF
Writing Domain-Specific Languages for BeepBeep
Sylvain Hallé
 
PDF
Technologies intelligentes d'aide au développement d'applications web (WAQ 2018)
Sylvain Hallé
 
PDF
Mining event streams with BeepBeep 3
Sylvain Hallé
 
PDF
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
Sylvain Hallé
 
PDF
A "Do-It-Yourself" Specification Language with BeepBeep 3 (Talk @ Dagstuhl 2017)
Sylvain Hallé
 
PDF
Event Stream Processing with Multiple Threads
Sylvain Hallé
 
PDF
A Few Things We Heard About RV Tools (Position Paper)
Sylvain Hallé
 
PDF
Solving Equations on Words with Morphisms and Antimorphisms
Sylvain Hallé
 
A Tree-Based Definition of Business Process Conformance (Talk @ EDOC 2024)
Sylvain Hallé
 
Monitoring Business Process Compliance Across Multiple Executions with Stream...
Sylvain Hallé
 
A Stream-Based Approach to Intrusion Detection
Sylvain Hallé
 
Event Stream Processing with BeepBeep 3
Sylvain Hallé
 
Smart Contracts-Enabled Simulation for Hyperconnected Logistics
Sylvain Hallé
 
Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning
Sylvain Hallé
 
Synthia: a Generic and Flexible Data Structure Generator (Long Version)
Sylvain Hallé
 
Test Sequence Generation with Cayley Graphs (Talk @ A-MOST 2021)
Sylvain Hallé
 
Efficient Offline Monitoring of LTL with Bit Vectors (Talk at SAC 2021)
Sylvain Hallé
 
A Generic Explainability Framework for Function Circuits
Sylvain Hallé
 
Detecting Responsive Web Design Bugs with Declarative Specifications
Sylvain Hallé
 
Streamlining the Inclusion of Computer Experiments in Research Papers
Sylvain Hallé
 
Writing Domain-Specific Languages for BeepBeep
Sylvain Hallé
 
Technologies intelligentes d'aide au développement d'applications web (WAQ 2018)
Sylvain Hallé
 
Mining event streams with BeepBeep 3
Sylvain Hallé
 
LabPal: Repeatable Computer Experiments Made Easy (ACM Workshop Talk)
Sylvain Hallé
 
A "Do-It-Yourself" Specification Language with BeepBeep 3 (Talk @ Dagstuhl 2017)
Sylvain Hallé
 
Event Stream Processing with Multiple Threads
Sylvain Hallé
 
A Few Things We Heard About RV Tools (Position Paper)
Sylvain Hallé
 
Solving Equations on Words with Morphisms and Antimorphisms
Sylvain Hallé
 
Ad

Recently uploaded (20)

PDF
Transcript: Book industry state of the nation 2025 - Tech Forum 2025
BookNet Canada
 
PPTX
COMPARISON OF RASTER ANALYSIS TOOLS OF QGIS AND ARCGIS
Sharanya Sarkar
 
PDF
“Voice Interfaces on a Budget: Building Real-time Speech Recognition on Low-c...
Edge AI and Vision Alliance
 
PPTX
Mastering ODC + Okta Configuration - Chennai OSUG
HathiMaryA
 
PPTX
MuleSoft MCP Support (Model Context Protocol) and Use Case Demo
shyamraj55
 
PDF
“Computer Vision at Sea: Automated Fish Tracking for Sustainable Fishing,” a ...
Edge AI and Vision Alliance
 
PDF
Peak of Data & AI Encore AI-Enhanced Workflows for the Real World
Safe Software
 
PDF
How do you fast track Agentic automation use cases discovery?
DianaGray10
 
PDF
Automating Feature Enrichment and Station Creation in Natural Gas Utility Net...
Safe Software
 
PPTX
From Sci-Fi to Reality: Exploring AI Evolution
Svetlana Meissner
 
PDF
Reverse Engineering of Security Products: Developing an Advanced Microsoft De...
nwbxhhcyjv
 
PDF
Future-Proof or Fall Behind? 10 Tech Trends You Can’t Afford to Ignore in 2025
DIGITALCONFEX
 
PDF
Go Concurrency Real-World Patterns, Pitfalls, and Playground Battles.pdf
Emily Achieng
 
PDF
NASA A Researcher’s Guide to International Space Station : Physical Sciences ...
Dr. PANKAJ DHUSSA
 
PDF
Book industry state of the nation 2025 - Tech Forum 2025
BookNet Canada
 
DOCX
Cryptography Quiz: test your knowledge of this important security concept.
Rajni Bhardwaj Grover
 
PDF
UiPath DevConnect 2025: Agentic Automation Community User Group Meeting
DianaGray10
 
PDF
Bitcoin for Millennials podcast with Bram, Power Laws of Bitcoin
Stephen Perrenod
 
PDF
“NPU IP Hardware Shaped Through Software and Use-case Analysis,” a Presentati...
Edge AI and Vision Alliance
 
DOCX
Python coding for beginners !! Start now!#
Rajni Bhardwaj Grover
 
Transcript: Book industry state of the nation 2025 - Tech Forum 2025
BookNet Canada
 
COMPARISON OF RASTER ANALYSIS TOOLS OF QGIS AND ARCGIS
Sharanya Sarkar
 
“Voice Interfaces on a Budget: Building Real-time Speech Recognition on Low-c...
Edge AI and Vision Alliance
 
Mastering ODC + Okta Configuration - Chennai OSUG
HathiMaryA
 
MuleSoft MCP Support (Model Context Protocol) and Use Case Demo
shyamraj55
 
“Computer Vision at Sea: Automated Fish Tracking for Sustainable Fishing,” a ...
Edge AI and Vision Alliance
 
Peak of Data & AI Encore AI-Enhanced Workflows for the Real World
Safe Software
 
How do you fast track Agentic automation use cases discovery?
DianaGray10
 
Automating Feature Enrichment and Station Creation in Natural Gas Utility Net...
Safe Software
 
From Sci-Fi to Reality: Exploring AI Evolution
Svetlana Meissner
 
Reverse Engineering of Security Products: Developing an Advanced Microsoft De...
nwbxhhcyjv
 
Future-Proof or Fall Behind? 10 Tech Trends You Can’t Afford to Ignore in 2025
DIGITALCONFEX
 
Go Concurrency Real-World Patterns, Pitfalls, and Playground Battles.pdf
Emily Achieng
 
NASA A Researcher’s Guide to International Space Station : Physical Sciences ...
Dr. PANKAJ DHUSSA
 
Book industry state of the nation 2025 - Tech Forum 2025
BookNet Canada
 
Cryptography Quiz: test your knowledge of this important security concept.
Rajni Bhardwaj Grover
 
UiPath DevConnect 2025: Agentic Automation Community User Group Meeting
DianaGray10
 
Bitcoin for Millennials podcast with Bram, Power Laws of Bitcoin
Stephen Perrenod
 
“NPU IP Hardware Shaped Through Software and Use-case Analysis,” a Presentati...
Edge AI and Vision Alliance
 
Python coding for beginners !! Start now!#
Rajni Bhardwaj Grover
 
Ad

Real-Time Data Mining for Event Streams