Sciweavers

2109 search results - page 272 / 422
» Solving Necklace Constraint Problems
Sort
View
MMM
2011
Springer
234views Multimedia» more  MMM 2011»
14 years 8 months ago
Image Super-Resolution by Vectorizing Edges
As the resolution of output device increases, the demand of high resolution contents has become more eagerly. Therefore, the image superresolution algorithms become more important....
Chia-Jung Hung, Chun-Kai Huang, Bing-Yu Chen
JOTA
2011
78views more  JOTA 2011»
14 years 7 months ago
Outer Trust-Region Method for Constrained Optimization
Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an Outer Trust-Region (OTR) modification of A is the result of ...
Ernesto G. Birgin, Emerson V. Castelani, Andr&eacu...
TACAS
2012
Springer
316views Algorithms» more  TACAS 2012»
14 years 17 days ago
Compositional Termination Proofs for Multi-threaded Programs
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
Corneliu Popeea, Andrey Rybalchenko
142
Voted
ICC
2009
IEEE
136views Communications» more  ICC 2009»
15 years 2 months ago
Maximizing the Sum Rate in Symmetric Networks of Interfering Links
We consider the power optimization problem of maximizing the sum rate of a symmetric network of interfering links in Gaussian noise. All transmitters have an average transmit power...
Sibi Raj Bhaskaran, Stephen V. Hanly, Nasreen Badr...
PAMI
2011
14 years 12 months ago
Multiview Stereo and Silhouette Consistency via Convex Functionals over Convex Domains
—We propose a convex formulation for silhouette and stereo fusion in 3D reconstruction from multiple images. The key idea is to show that the reconstruction problem can be cast a...
Daniel Cremers, Kalin Kolev