搜索结果: 1-9 共查到“计算机科学技术 rank”相关记录9条 . 查询时间(0.062 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Graph Refinement via Simultaneously Low-rank and Sparse Approximation
低秩 稀疏近似 图细化
2023/4/18
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Log-det heuristic for matrix rank minimization with applications to Hankel and Euclidean distance matrices
Positive semi-definite matrix convex sets functions half positive definite matrix distance data
2015/8/11
We present a heuristic for minimizing the rank of a positive semidefinite matrix over a convex set. We use the logarithm of the determinant as a smooth approximation for rank, and locally minimize thi...
Rank minimization and applications in system theory
Matrix the convex set system identification statistics signal processing
2015/8/11
In this tutorial paper, we consider the problem of minimizing the rank of a matrix over a convex set. The Rank Minimization Problem (RMP) arises in diverse areas such as control, system identification...
Maximum Rank Correlation Training for Statistical Machine Translation
Maximum Rank Correlation Training Statistical Machine Translation
2013/4/22
We propose Maximum Ranking Correlation (MRC) as an objective function in discrimi-native tuning of parameters in a linear model of Statistical Machine Translation (SMT). We try to maximize the ranking...
Multi-Task Rank Learning for Visual Saliency Estimation
Generalization ability multi-task learning pairwise rank learning visual saliency.
2013/7/24
Visual saliency plays an important role in variousvideo applications such as video retargeting and intelligentvideo advertising. However, existing visual saliency estimationapproaches often construct ...
Total Quality Management in the Top Rank of the Dairy Industry in Jordan
TQM application/performance correlation TQM assessment in the dairy industry TQM survey
2010/1/15
In this paper an investigation was carried out to assess the extent of the individual as well as the collective application of
Total Quality Management (TQM) factors in each of the companies of the t...
Analysing the Woo-Lam Protocol Using CSP and Rank Functions
Analysing the Woo-Lam Protocol CSP Rank Functions
2014/3/12
Designing security protocols is a challenging and deceptive exercise. Even small protocols providing straightforward security goals, such as authentication, have been hard to design correctly, leading...