Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Konstantin Schekotihin"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 306, Iss Proc. ICLP 2019, Pp 22-35 (2019)
Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (ASP). Decision procedures that
Externí odkaz:
https://doaj.org/article/8cfe04ca5cb0402584e8e4ee940491b6
Publikováno v:
EDFA Technical Articles. 25:16-28
This article provides a systematic overview of knowledge-based and machine-learning AI methods and their potential for use in automated testing, defect identification, fault prediction, root cause analysis, and equipment scheduling. It also discusses
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a145edd635bc27ebc7dcda84de6c6128
https://doi.org/10.31399/asm.edfa.2023-2.p016
https://doi.org/10.31399/asm.edfa.2023-2.p016
Publikováno v:
Journal of Artificial Intelligence Research. 76:59-114
Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with heuristics that ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::29cb28d003813b5ed83d75e285e698cd
https://doi.org/10.1613/jair.1.14091
https://doi.org/10.1613/jair.1.14091
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 364:132-135
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77694d6c145fb6dfff2739462e38b448
https://doi.org/10.4204/eptcs.364.14
https://doi.org/10.4204/eptcs.364.14
Autor:
Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein
Publikováno v:
Proceedings of the International Conference on Automated Planning and Scheduling. 32:638-646
Scheduling is an important problem for many applications, including manufacturing, transportation, or cloud computing. Unfortunately, most of the scheduling problems occurring in practice are intractable and, therefore, solving large industrial insta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9f3266006af87eef41ef2c54406dca2
https://doi.org/10.1609/icaps.v32i1.19852
https://doi.org/10.1609/icaps.v32i1.19852
Publikováno v:
Scopus-Elsevier
Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints (SBCs) for each given pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fbf95299aefe18f81de6c869bbd39219
https://doi.org/10.1007/s10994-022-06146-3
https://doi.org/10.1007/s10994-022-06146-3
Publikováno v:
IEEE Transactions on Software Engineering. 47:2195-2207
Electronic spreadsheets are widely used in organizations for various data analytics and decision-making tasks. Even though faults within such spreadsheets are common and can have significant negative consequences, today's tools for creating and handl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d45ec92811c9a9cd5a3f45025df9d87
https://doi.org/10.1109/tse.2019.2944604
https://doi.org/10.1109/tse.2019.2944604
Publikováno v:
International Symposium for Testing and Failure Analysis.
The development of intelligent assistants helping Failure Analysis (FA) engineers in their daily work is essential to any digitalization strategy. In particular, these systems must solve various computer vision or natural language processing problems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18921ff9ac09d12137654817e3bb80bd
https://doi.org/10.31399/asm.cp.istfa2022p0036
https://doi.org/10.31399/asm.cp.istfa2022p0036
Publikováno v:
2022 14th International Conference on Advanced Semiconductor Devices and Microsystems (ASDAM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be09335513457037618b6c9ff21e8b16
https://doi.org/10.1109/asdam55965.2022.9966756
https://doi.org/10.1109/asdam55965.2022.9966756
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Faults in spreadsheets are not uncommon and they can have significant negative consequences in practice. Various approaches for fault localization were proposed in recent years, among them techniques that transferred ideas from spectrum-based fault l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b06c19875f1ec73ecf6dd56cb4d63043
https://doi.org/10.1145/3551349.3559546
https://doi.org/10.1145/3551349.3559546