搜索结果: 1-15 共查到“计算机科学技术 via”相关记录46条 . 查询时间(0.209 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Graph Refinement via Simultaneously Low-rank and Sparse Approximation
低秩 稀疏近似 图细化
2023/4/18
Graphs play an important role in many fields of machine learning such as clustering. Many graph-based machine learning approaches assume that the graphs have hidden group structures. However, the grou...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Bayesian Approach to Determining the Orientation of Sound-soft Obstacles with Phaseless Data via Wasserstein Distance
Wasserstein距离 贝叶斯方法 无相数据 软声障碍物
2023/4/27
We present a Bayesian approach to inverse scattering problems of reconstructing the rotation angle in clockwise direction of an acoustically sound-soft obstacle from phaseless far-field data in two di...
ACCURACY ESTIMATION OF THE OPTICAL FLOWMETHODS IN THE IRIS STRUCTURE MOTION ANALYSIS VIA CONTROLLED DEFORMATIONS
Biometrics Iris Structure Computer Vision Image Analysis Optical Flow Horn-Schunck Method Lucas-Kanade Method Accuracy Estimation
2017/6/19
The iris structure motion is analyzed. Extension and compression of the iris structural elements are nonlinear with respect to the pupil radius change. To reveal this nonlinearity the Lucas-Kanade, Ho...
Bug Isolation via Remote Program Sampling
bug isolation random sampling assertions feature selection statistical debugging logistic regression
2016/5/24
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrate ways to use sampled i...
Generalized Selection via Interactive Query Relaxation
Selection annotation pointing reference information visualization input techniques query relaxation
2016/5/24
Selection is a fundamental task in interactive applications,
typically performed by clicking or lassoing items of
interest. However, users may require more nuanced forms
of selection. Selecting reg...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
Extracting References Between Text and Charts via Crowdsourcing
visualization crowdsourcing interactive documents
2016/5/24
News articles, reports, blog posts and academic papers often
include graphical charts that serve to visually reinforce
arguments presented in the text. To help readers better understand
the relatio...
Stochastic Combinatorial Optimization via Poisson Approximation
Stochastic Knapsack Stochastic Bin Packing Expected Util- ity Maximization
2016/1/23
We study several stochastic combinatorial problems, includ-ing the expected utility maximization problem, the stochas-tic knapsack problem and the stochastic bin packing prob-lem. A common technical c...
Power control in lognormal fading wireless channels with uptime probability specifications via robust geometric programming
Lognormal decline power control wireless transmitter random geometry application geometric programming
2015/8/10
This paper concerns power control in lognormal fading wireless channels with correlated interference. We consider an outage-based quality of service (QoS) specification, which requires the uptime prob...
Distributed estimation via dual decomposition
Distributed framework convex optimization sensor networks signal processing subsystem sensor subsystem distributed estimation algorithm
2015/8/10
The focus of this paper is to develop a framework for distributed estimation via convex optimization. We deal with a network of complex sensor subsystems with local estimation and signal processing. M...
Optimized slowdown in real-time task systems via geometric programming
Reduction system optimize the slow periodicity power characteristics slow factors
2015/8/10
In “Optimized slowdown in real-time task systems”, Jejurikar and Gupta investigated energy savings due to optimal slowdown of periodic tasks in real-time task systems, where tasks have varying power c...
Distributed optimization and statistical learning via the alternating direction method of multipliers
Statistics machine learning convex optimization framework modern data set data set
2015/8/7
Many problems of recent interest in statistics and machine learning can be posed in the framework of convex optimization. Due to the explosion in size and complexity of modern datasets, it is increasi...
Dynamic network energy management via proximal message passing
Network equipment network target device circuit power
2015/8/7
We consider a network of devices, such as generators, fixed loads, deferrable loads, and storage devices, each with its own dynamic constraints and objective, connected by AC and DC lines. The problem...
Security constrained optimal power flow via proximal message passing
Trend network equipment dynamic constraints reliability constraint fault network
2015/8/7
In this paper, we propose a distributed algorithm to solve the Security Constrained Optimal Power Flow (SC-OPF) Problem. We consider a network of devices, each with its own dynamic constraints and obj...
We study privacy-preserving tests for proximity: Alice can test if she is close to Bob without either party revealing any other information about their location. We describe several secure protocols t...