搜索结果: 1-13 共查到“计算机科学技术 Geometric”相关记录13条 . 查询时间(0.078 秒)
Researchers at Carnegie Mellon University have developed an efficient new way to quickly analyze complex geometric models by borrowing a computational approach that made photorealistic anima...
We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety properties de-...
Linear Time Approximation Schemes for Geometric Maximum Coverage
Maximum coverage Geometric set cover Polynomial-time approximation scheme
2016/1/22
We study approximation algorithms for the following geo-metric version of the maximum coverage problem: Let P be a set of n weighted points in the plane. We want to place m a × b rectangles such that ...
Digital Geometric Documentation of the Rail Journey of the Historic Train of Pelion
Industrial Heritage documentation multimedia application
2015/11/12
The object of this research project is the documentation of the rail journey of the historic train of Pelion. From the beginning, the approach of the issue pointed out the immediate need of its digita...
Geometric programming duals of channel capacity and rate distortion
Channel capacity convex optimization duality free energy geometric programming rate distortion
2015/8/11
We show that the Lagrange dual problems of the channel capacity problem with input cost and the rate distortion problem are simple geometric programs. Upper bounds on channel capacity and lower bounds...
Geometric programming applications to EDA problems
Distributed sensor network sensor linear measurement gaussian noise the data
2015/8/11
Geometric programming (GP) describes a type of optimization problem that has been known since the 1970s, but recently has attracted more attention for several reasons. The first is the development of ...
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...
A tutorial on geometric programming
Convex optimization Geometric programming Generalized geometric programming Interior-point methods
2015/8/10
A geometric program (GP) is a type of mathematical optimization problem characterized by objective and constraint functions that have a special form. Recently developed solution methods can solve even...
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...
Tractable approximate robust geometric programming
Geometric programming linear programming piecewise-linear function robust geometric programming robust linear programming robust optimization
2015/8/10
The optimal solution of a geometric program (GP) can be sensitive to variations in the problem data. Robust geometric programming can systematically alleviate the sensitivity problem by explicitly inc...
A Geometric Framework for Transfer Learning Using Manifold Alignment
Dimensionality Reduction Manifold Alignment Multiscale Analysis Representation Learning Topic Model Transfer Learning
2014/12/18
Many machine learning problems involve dealing with a large amount of high-dimensional data across diverse domains. In addition, annotating or labeling the data is expensive as it involves significant...
On the Reflected Geometric Brownian Motion with Two Barriers
Geometric Brownian Motion Stationary Distribution First Passage Time
2013/1/28
In this paper, we are concerned with Re?ected Geometric Brownian Motion (RGBM) with two barriers. And the stationary distribution of RGBM is derived by Markovian in?nitesimal Generator method. Consequ...
A SIFT-based Image Fingerprinting Approach Robust to Geometric Transformations
A SIFT-based Image Fingerprinting Approach Robust Geometric Transformations
2013/7/16
Among approaches in implementing Digital Rights Management, image fingerprinting technique is considered to be one of the most attractive solutions, especially in detecting illegal use of image works....