7930 search results - page 1322 / 1586 » Greedy in Approximation Algorithms |
180
click to vote
JMLR
2012
13 years 7 months ago
2012
We study a generalized framework for structured sparsity. It extends the well known methods of Lasso and Group Lasso by incorporating additional constraints on the variables as pa...
150
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
168
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Matching patches between two images, also known as computing nearest-neighbor fields, has been proven a useful technique in various computer vision/graphics algorithms. But this ...
163
click to vote
TVCG
2012
13 years 7 months ago
2012
—In this paper, we present a robust and accurate algorithm for interactive image segmentation. The level set method is clearly advantageous for image objects with a complex topol...
183
click to vote
SIGMETRICS
2012
ACM
13 years 7 months ago
2012
ACM
Latency has become an important metric for network monitoring since the emergence of new latency-sensitive applications (e.g., algorithmic trading and high-performance computing)....