Sciweavers

995 search results - page 8 / 199
» Wire-speed total order
Sort
View
APAL
2011
14 years 6 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»
14 years 6 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
15 years 3 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
15 years 1 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
14 years 9 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