10,809 research outputs found
Trajectory-Based Dynamic Map Labeling
In this paper we introduce trajectory-based labeling, a new variant of
dynamic map labeling, where a movement trajectory for the map viewport is
given. We define a general labeling model and study the active range
maximization problem in this model. The problem is NP-complete and W[1]-hard.
In the restricted, yet practically relevant case that no more than k labels can
be active at any time, we give polynomial-time algorithms. For the general case
we present a practical ILP formulation with an experimental evaluation as well
as approximation algorithms.Comment: 19 pages, 7 figures, extended version of a paper to appear at ISAAC
201
A Two-stage Classification Method for High-dimensional Data and Point Clouds
High-dimensional data classification is a fundamental task in machine
learning and imaging science. In this paper, we propose a two-stage multiphase
semi-supervised classification method for classifying high-dimensional data and
unstructured point clouds. To begin with, a fuzzy classification method such as
the standard support vector machine is used to generate a warm initialization.
We then apply a two-stage approach named SaT (smoothing and thresholding) to
improve the classification. In the first stage, an unconstraint convex
variational model is implemented to purify and smooth the initialization,
followed by the second stage which is to project the smoothed partition
obtained at stage one to a binary partition. These two stages can be repeated,
with the latest result as a new initialization, to keep improving the
classification quality. We show that the convex model of the smoothing stage
has a unique solution and can be solved by a specifically designed primal-dual
algorithm whose convergence is guaranteed. We test our method and compare it
with the state-of-the-art methods on several benchmark data sets. The
experimental results demonstrate clearly that our method is superior in both
the classification accuracy and computation speed for high-dimensional data and
point clouds.Comment: 21 pages, 4 figure
Complexity of Discrete Energy Minimization Problems
Discrete energy minimization is widely-used in computer vision and machine
learning for problems such as MAP inference in graphical models. The problem,
in general, is notoriously intractable, and finding the global optimal solution
is known to be NP-hard. However, is it possible to approximate this problem
with a reasonable ratio bound on the solution quality in polynomial time? We
show in this paper that the answer is no. Specifically, we show that general
energy minimization, even in the 2-label pairwise case, and planar energy
minimization with three or more labels are exp-APX-complete. This finding rules
out the existence of any approximation algorithm with a sub-exponential
approximation ratio in the input size for these two problems, including
constant factor approximations. Moreover, we collect and review the
computational complexity of several subclass problems and arrange them on a
complexity scale consisting of three major complexity classes -- PO, APX, and
exp-APX, corresponding to problems that are solvable, approximable, and
inapproximable in polynomial time. Problems in the first two complexity classes
can serve as alternative tractable formulations to the inapproximable ones.
This paper can help vision researchers to select an appropriate model for an
application or guide them in designing new algorithms.Comment: ECCV'16 accepte
Auditing: Active Learning with Outcome-Dependent Query Costs
We propose a learning setting in which unlabeled data is free, and the cost
of a label depends on its value, which is not known in advance. We study binary
classification in an extreme case, where the algorithm only pays for negative
labels. Our motivation are applications such as fraud detection, in which
investigating an honest transaction should be avoided if possible. We term the
setting auditing, and consider the auditing complexity of an algorithm: the
number of negative labels the algorithm requires in order to learn a hypothesis
with low relative error. We design auditing algorithms for simple hypothesis
classes (thresholds and rectangles), and show that with these algorithms, the
auditing complexity can be significantly lower than the active label
complexity. We also discuss a general competitive approach for auditing and
possible modifications to the framework.Comment: Corrections in section
An Unstructured Mesh Convergent Reaction-Diffusion Master Equation for Reversible Reactions
The convergent reaction-diffusion master equation (CRDME) was recently
developed to provide a lattice particle-based stochastic reaction-diffusion
model that is a convergent approximation in the lattice spacing to an
underlying spatially-continuous particle dynamics model. The CRDME was designed
to be identical to the popular lattice reaction-diffusion master equation
(RDME) model for systems with only linear reactions, while overcoming the
RDME's loss of bimolecular reaction effects as the lattice spacing is taken to
zero. In our original work we developed the CRDME to handle bimolecular
association reactions on Cartesian grids. In this work we develop several
extensions to the CRDME to facilitate the modeling of cellular processes within
realistic biological domains. Foremost, we extend the CRDME to handle
reversible bimolecular reactions on unstructured grids. Here we develop a
generalized CRDME through discretization of the spatially continuous volume
reactivity model, extending the CRDME to encompass a larger variety of
particle-particle interactions. Finally, we conclude by examining several
numerical examples to demonstrate the convergence and accuracy of the CRDME in
approximating the volume reactivity model.Comment: 35 pages, 9 figures. Accepted, J. Comp. Phys. (2018
Computational Geometry Column 34
Problems presented at the open-problem session of the 14th Annual ACM
Symposium on Computational Geometry are listed
- …