105
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Logically Constrained Term Rewriting Systems (LCTRSs) provide a general framework for term rewriting with constraints. We discuss a simple dependency pair approach to prove termin...
207
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Many data-fitting applications require the solution of an optimization problem involving a sum of large number of functions of high dimensional parameter. Here, we consider the p...
103
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
—We propose a new formulation and algorithms for the Vehicle Routing Problem (VRP). To accommodate persistent surveillance missions, which require executions in infinite time, w...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We present a new representation of harmonic sounds that linearizes the dynamics of pitch and spectral envelope, while remaining stable to deformations in the time-frequency plane....
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We introduce a functional gradient descent based trajectory optimization algorithm for robot motion planning in arbitrary Reproducing Kernel Hilbert Spaces (RKHSs). Functional gra...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
— Mobile robots in real-life settings would benefit from being able to localize sound sources. Such a capability can nicely complement vision to help localize a person or an int...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
—We prove a closed-form solution to tensor voting (CFTV): Given a point set in any dimensions, our closed-form solution provides an exact, continuous, and efficient algorithm for...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
—In this paper, we study the information-theoretic limits of community detection in the symmetric two-community stochastic block model, with intra-community and intercommunity ed...
CORR
2016
Springer
10 years 1 months ago
2016
Springer
It is known that some network operators inject false content into users’ network traffic. Yet all previous works that investigate this practice focus on edge ISPs (Internet Ser...
103
click to vote
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We present an approach for identifying picturesque highlights from large amounts of egocentric video data. Given a set of egocentric videos captured over the course of a vacation,...