Abstract: Solving constrained multi-objective optimization problems (CMOPs) is a challenging task due to the presence of multiple conflicting objectives and intricate constraints. In order to better ...
In this chapter, we use a search tree structure to efficiently implement a sorted map. The three most fundamental methods of a map M are M[k] implemented with __getitem, M[k] = v using __setitem__ and ...
1 Department of Computer and Instructional Technologies Education, Gazi Faculty of Education, Gazi University, Ankara, Türkiye. 2 Department of Forensic Informatics, Institute of Informatics, Gazi ...
Abstract: This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results