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