Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

automatic assertion mining (keyword)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/88)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article 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

book article EST / book article ENG
Related publications 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

Number of records 2, displaying 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. European mining
57. informal mining
58. knowledge discovery and data mining
59. metal mining
60. mining
61. mining block
62. mining co- and by-products
63. mining industry
64. Mining life cycle
65. mining line patterns from event logs
66. mining losses
67. mining organization
68. mining patterns from event logs
69. mining regulations
70. mining technology
71. mining waste
72. mining waste management
73. numerical association rule mining
74. oil shale mining
75. pattern mining for event logs
76. pattern mining from event logs
77. pattern mining from log files
78. post-mining land use
79. quantitative association rule mining
80. room-and-pillar mining
81. selective mining
82. space mining
83. sustainable mining
84. text mining
85. underground mining
86. web usage mining
87. vulnerability mining
88. (Mining and Metallurgy Regions of EU, 2018-2020) MIREU

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu