Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/57)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
ARTmine : automatic association rule mining with temporal behavior for hardware verification
Heidari Iman, Mohammad Reza
;
Jervan, Gert
;
Ghasempouri, Tara
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings
2024
/
p. 1-6 : ill
https://ieeexplore.ieee.org/document/10546742
artikkel kogumikus
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
57
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
automatic assertion mining
3.
assertion-based verification
4.
Assertion Mining
5.
Security Assertion Mining
6.
association rule mining
7.
numerical association rule mining
8.
quantitative association rule mining
9.
data mining
10.
data stream mining
11.
data-mining
12.
distributed data mining
13.
distributed data mining (DDM)
14.
educational data mining
15.
knowledge discovery and data mining
16.
Automatic Security Verification
17.
automatic speaker verification
18.
model-based verification
19.
simulation-based verification
20.
Australian mining industry
21.
business process mining
22.
European mining
23.
informal mining
24.
metal mining
25.
mining
26.
mining block
27.
mining co- and by-products
28.
mining industry
29.
Mining life cycle
30.
mining line patterns from event logs
31.
mining losses
32.
mining organization
33.
mining patterns from event logs
34.
mining regulations
35.
mining technology
36.
mining waste
37.
mining waste management
38.
oil shale mining
39.
pattern mining from event logs
40.
pattern mining from log files
41.
post-mining land use
42.
room-and-pillar mining
43.
selective mining
44.
sustainable mining
45.
text mining
46.
underground mining
47.
vulnerability mining
48.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
49.
assertion
50.
assertion candidate
51.
assertion checkers
52.
Assertion Minimization
53.
assertion qualification
54.
assertion sign
55.
Husserl on inclusion and assertion
56.
Peirce on inclusion and assertion
57.
sheet of assertion
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT