Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

automatic assertion mining (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 2
Vaata veel.. (1/93)
Ekspordi

ekspordi kõik päringu tulemused (2)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742 https://doi.org/10.23919/DATE58400.2024.10546742 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
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
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
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 2, kuvan 1 - 2

1. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2. automatic assertion mining
3. Assertion Mining
4. Security Assertion Mining
5. assertion
6. assertion candidate
7. assertion checkers
8. Assertion Minimization
9. assertion qualification
10. assertion sign
11. assertion-based verification
12. Husserl on inclusion and assertion
13. Peirce on inclusion and assertion
14. Security Assertion
15. sheet of assertion
16. automatic AI (autoAI)
17. automatic calibration
18. automatic clutch engagement
19. automatic code generation
20. automatic composition method
21. automatic control
22. automatic control systems
23. automatic controllers
24. automatic error correction
25. automatic evaluation
26. automatic fault diagnosis
27. automatic frequency control
28. Automatic generation control
29. automatic GUI model generation
30. Automatic identification system
31. automatic identification system (AIS)
32. automatic machine learning (autoML)
33. automatic model creation
34. automatic processing of solutions
35. automatic program synthesis
36. automatic programming
37. Automatic Security Verification
38. automatic speaker verification
39. automatic speech recognition
40. automatic test case generation
41. automatic test pattern generation
42. automatic test program generation
43. automatic tide gauges
44. automatic weather stations
45. automatic voltage control
46. DLL for automatic calibration
47. Speaker-attributed automatic speech
48. Association pattern mining
49. association rule mining
50. Australian mining industry
51. business process mining
52. data mining
53. data mining and knowledge discovery
54. data stream mining
55. data-mining
56. deep-sea mining
57. distributed data mining
58. distributed data mining (DDM)
59. educational data mining
60. educational data-mining
61. European mining
62. informal mining
63. knowledge discovery and data mining
64. metal mining
65. mining
66. mining block
67. mining co- and by-products
68. mining industry
69. Mining life cycle
70. mining line patterns from event logs
71. mining losses
72. mining organization
73. mining patterns from event logs
74. mining regulations
75. mining technology
76. mining waste
77. mining waste management
78. numerical association rule mining
79. oil shale mining
80. pattern mining for event logs
81. pattern mining from event logs
82. pattern mining from log files
83. post-mining land use
84. quantitative association rule mining
85. room-and-pillar mining
86. selective mining
87. space mining
88. sustainable mining
89. text mining
90. underground mining
91. web usage mining
92. vulnerability mining
93. (Mining and Metallurgy Regions of EU, 2018-2020) MIREU

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu