Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Assertion Mining (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/51)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
IMMizer : an innovative cost-effective method for minimizing assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jervan, Gert
;
Ghasempouri, Tara
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
2022
/
p. 671 - 678
https://doi.org/10.1109/DSD57027.2022.00095
Article at Scopus
Article at WOS
book article
Number of records 1, displaying
1 - 1
keyword
51
1.
Assertion Mining
2.
automatic assertion mining
3.
assertion
4.
assertion candidate
5.
assertion checkers
6.
Assertion Minimization
7.
assertion qualification
8.
assertion sign
9.
assertion-based verification
10.
Husserl on inclusion and assertion
11.
Peirce on inclusion and assertion
12.
sheet of assertion
13.
association rule mining
14.
Australian mining industry
15.
business process mining
16.
data mining
17.
data stream mining
18.
data-mining
19.
distributed data mining
20.
distributed data mining (DDM)
21.
educational data mining
22.
European mining
23.
informal mining
24.
knowledge discovery and data mining
25.
metal mining
26.
mining
27.
mining block
28.
mining co- and by-products
29.
mining industry
30.
Mining life cycle
31.
mining line patterns from event logs
32.
mining losses
33.
mining organization
34.
mining patterns from event logs
35.
mining regulations
36.
mining technology
37.
mining waste
38.
mining waste management
39.
numerical association rule mining
40.
oil shale mining
41.
pattern mining from event logs
42.
pattern mining from log files
43.
post-mining land use
44.
quantitative association rule mining
45.
room-and-pillar mining
46.
selective mining
47.
sustainable mining
48.
text mining
49.
underground mining
50.
vulnerability mining
51.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT