Results 1 to 10 of about 5,859,578 (148)
Reasoning with Finite Sets and Cardinality Constraints in SMT [PDF]
Logical Methods in Computer Science, 2018 We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for modeling ...
Kshitij Bansal +3 more
doaj +3 more sources
Subgraph Matching Cardinality Estimation Combining Heuristic and Boosting Method [PDF]
Jisuanji kexue yu tansuo, 2022 Attributed to its innate advantage in modeling relational information, graph data have been widely leveraged in various applications including social network, knowledge representation, etc. Compared with traditional relational database systems, primitive
HOU Wenzhe, ZHAO Xiang
doaj +1 more source
SetVAE: Learning Hierarchical Composition for Generative Modeling of Set-Structured Data [PDF]
Computer Vision and Pattern Recognition, 2021 Generative modeling of set-structured data, such as point clouds, requires reasoning over local and global structures at various scales. However, adopting multi-scale frameworks for ordinary sequential data to a set-structured data is nontrivial as it ...
Jinwoo Kim +3 more
semanticscholar +1 more source
Remote Sensing, 2022 In multi-sensor systems (MSSs), sensor selection is a critical technique for obtaining high-quality sensing data. However, when the number of sensors to be selected is unknown in advance, sensor selection is essentially non-deterministic polynomial-hard (
Shuang Liang +3 more
doaj +1 more source
Hyperspectral Anomaly Detection with Auto-Encoder and Independent Target
Remote Sensing, 2023 As an unsupervised data representation neural network, auto-encoder (AE) has shown great potential in denoising, dimensionality reduction, and data reconstruction.
Shuhan Chen, Xiaorun Li, Yunfeng Yan
doaj +1 more source
Entropy, 2020 Quantifying uncertainty is a hot topic for uncertain information processing in the framework of evidence theory, but there is limited research on belief entropy in the open world assumption.
Bin Yang +3 more
doaj +1 more source
On Multistage Multiscale Stochastic Capacitated Multiple Allocation Hub Network Expansion Planning
Mathematics, 2021 The hub location problem (HLP) basically consists of selecting nodes from a network to act as hubs to be used for flow traffic directioning, i.e., flow collection from some origin nodes, probably transfer it to other hubs, and distributing it to ...
Laureano F. Escudero, Juan F. Monge
doaj +1 more source
Multi-Period Portfolio Optimization Using Dynamic Programming Approach [PDF]
Muṭāli̒āt-i Mudīriyyat-i Ṣan̒atī, 2018 Portfolio selection has always been one of the important issues in the field of investment management, which discusses how to allocate an investor's capital to different assets and form an efficient portfolio.
Negin Mohebbi, Amir Abbas Najafi
doaj +1 more source
Advances and Challenges in Machine Learning-Based Cardinality Estimation for Database Query Optimization [PDF]
ITM Web of ConferencesAccurate cardinality estimation is critical for optimizing database queries, yet traditional methods often fail to provide reliable predictions in the face of complex queries, skewed data distributions, and high-dimensional schemas.
Guan Zhibin
doaj +1 more source
Subsystem identification of feedback and feedforward systems with time delay
Results in Control and Optimization, 2020 We present an algorithm for identifying discrete-time feedback-and-feedforward subsystems with time delay that are interconnected in closed loop with a known subsystem.
S. Alireza Seyyed Mousavi +3 more
doaj +1 more source