Sciweavers

995 search results - page 8 / 199
» Wire-speed total order
Sort
View
APAL
2011
13 years 2 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
SIAMIS
2010
283views more  SIAMIS 2010»
13 years 2 months ago
A General Framework for a Class of First Order Primal-Dual Algorithms for Convex Optimization in Imaging Science
We generalize the primal-dual hybrid gradient (PDHG) algorithm proposed by Zhu and Chan in [M. Zhu, and T. F. Chan, An Efficient Primal-Dual Hybrid Gradient Algorithm for Total Var...
Ernie Esser, Xiaoqun Zhang, Tony F. Chan
RTA
1993
Springer
13 years 11 months ago
Total Termination of Term Rewriting
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...
Maria C. F. Ferreira, Hans Zantema
WSC
2004
13 years 8 months ago
Minimizing Total Setup Cost for a Metal Casting Company
The optimizing sequence of production for a set of customer orders
Xue-Ming Yuan, Hsien Hui Khoo, Trevor A. Spedding,...
ICIP
2010
IEEE
13 years 5 months ago
Total subset variation prior
We propose total subset variation (TSV), a convexity preserving generalization of the total variation (TV) prior, for higher order clique MRF. A proposed differentiable approximat...
Sanjeev Kumar, Truong Q. Nguyen