Results 31 to 40 of about 910,379 (294)
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis [PDF]
, 2014 We present the first scalable bound analysis that achieves amortized complexity analysis. In contrast to earlier work, our bound analysis is not based on general purpose reasoners such as abstract interpreters, software model checkers or computer algebra
Florian Zuleger +3 more
core +2 more sources
Mathematics, 2021 Ranking of interval-valued intuitionistic fuzzy numbers (IVIFNs) is an important task for solving real-life Decision-Making problems. It is a potential area of research that has attracted the researchers working in fuzzy mathematics.
Jeevaraj Selvaraj, Abhijit Majumdar
doaj +1 more source
Modified Ranking Function to Compute Fuzzy Matrix Games
Ibn Al-Haitham Journal for Pure and Applied Sciences, 2022 Game theory problems (GTP) frequently occur in Economy, Business Studies, Sociology, Political Science, Military Activities, and so on are some of the subjects covered.
Rasha Jalal Mitlif
doaj +1 more source
Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions [PDF]
, 2015 In this paper we turn the spotlight on a class of lexicographic ranking functions introduced by Bradley, Manna and Sipma in a seminal CAV 2005 paper, and establish for the first time the complexity of some problems involving the inference of such ...
A Podelski +23 more
core +3 more sources
Rank Function and Outer Inverses
The Electronic Journal of Linear Algebra, 2018 For the class of matrices over a field, the notion of `rank of a matrix' as defined by `the dimension of subspace generated by columns of that matrix' is folklore and cannot be generalized to the class of matrices over an arbitrary commutative ring. The `determinantal rank' defined by the size of largest submatrix having nonzero determinant, which is ...
Karantha, Manjunatha Prasad +2 more
openaire +3 more sources
Ranking Scientific Groups Model in Iranian Universities [PDF]
پژوهش در نظامهای آموزشی, 2022 Determining the position and importance of scientific groups in the operational structure of the university and its important role in improving the quality of educational and research activities of the university's affiliated faculties is one of the ...
Zeynab Rashidi, Hassan Rashidi
doaj
LambdaFM: Learning Optimal Ranking with Factorization Machines Using Lambda Surrogates [PDF]
, 2016 State-of-the-art item recommendation algorithms, which apply Factorization Machines (FM) as a scoring function and pairwise ranking loss as a trainer (PRFM for short), have been recently investigated for the implicit feedback based context-aware ...
Chen, Long +5 more
core +1 more source
Ranking-Based Deep Hashing Network for Image Retrieval
IEEE Access, 2022 In large-scale image retrieval, the deep learning-based hashing methods have significantly progressed. However, most of the existing deep hashing methods still have the problems of low feature learning efficiency and weak ranking relationship ...
Zhisheng Zhang +5 more
doaj +1 more source
Shortest Path Problem in Network with Type-2 Triangular Fuzzy Arc Length
Journal of Applied Research on Industrial Engineering, 2017 In traditional shortest path problem it is always determined that the parameters (Time, Cost and Distance etc.) are fixed between different nodes. But in real life situations where uncertain parameters exist, parameters are considered as fuzzy numbers ...
Ranjan Kumar, Sripati Jha, Ramayan Singh
doaj +1 more source
Subgroup Preference Neural Network
Sensors, 2021 Subgroup label ranking aims to rank groups of labels using a single ranking model, is a new problem faced in preference learning. This paper introduces the Subgroup Preference Neural Network (SGPNN) that combines multiple networks have different ...
Ayman Elgharabawy +2 more
doaj +1 more source