8,145 research outputs found
Genetic Programming for Smart Phone Personalisation
Personalisation in smart phones requires adaptability to dynamic context
based on user mobility, application usage and sensor inputs. Current
personalisation approaches, which rely on static logic that is developed a
priori, do not provide sufficient adaptability to dynamic and unexpected
context. This paper proposes genetic programming (GP), which can evolve program
logic in realtime, as an online learning method to deal with the highly dynamic
context in smart phone personalisation. We introduce the concept of
collaborative smart phone personalisation through the GP Island Model, in order
to exploit shared context among co-located phone users and reduce convergence
time. We implement these concepts on real smartphones to demonstrate the
capability of personalisation through GP and to explore the benefits of the
Island Model. Our empirical evaluations on two example applications confirm
that the Island Model can reduce convergence time by up to two-thirds over
standalone GP personalisation.Comment: 43 pages, 11 figure
Distributed Cooperative Localization in Wireless Sensor Networks without NLOS Identification
In this paper, a 2-stage robust distributed algorithm is proposed for
cooperative sensor network localization using time of arrival (TOA) data
without identification of non-line of sight (NLOS) links. In the first stage,
to overcome the effect of outliers, a convex relaxation of the Huber loss
function is applied so that by using iterative optimization techniques, good
estimates of the true sensor locations can be obtained. In the second stage,
the original (non-relaxed) Huber cost function is further optimized to obtain
refined location estimates based on those obtained in the first stage. In both
stages, a simple gradient descent technique is used to carry out the
optimization. Through simulations and real data analysis, it is shown that the
proposed convex relaxation generally achieves a lower root mean squared error
(RMSE) compared to other convex relaxation techniques in the literature. Also
by doing the second stage, the position estimates are improved and we can
achieve an RMSE close to that of the other distributed algorithms which know
\textit{a priori} which links are in NLOS.Comment: Accepted in WPNC 201
1-Bit Matrix Completion under Exact Low-Rank Constraint
We consider the problem of noisy 1-bit matrix completion under an exact rank
constraint on the true underlying matrix . Instead of observing a subset
of the noisy continuous-valued entries of a matrix , we observe a subset
of noisy 1-bit (or binary) measurements generated according to a probabilistic
model. We consider constrained maximum likelihood estimation of , under a
constraint on the entry-wise infinity-norm of and an exact rank
constraint. This is in contrast to previous work which has used convex
relaxations for the rank. We provide an upper bound on the matrix estimation
error under this model. Compared to the existing results, our bound has faster
convergence rate with matrix dimensions when the fraction of revealed 1-bit
observations is fixed, independent of the matrix dimensions. We also propose an
iterative algorithm for solving our nonconvex optimization with a certificate
of global optimality of the limiting point. This algorithm is based on low rank
factorization of . We validate the method on synthetic and real data with
improved performance over existing methods.Comment: 6 pages, 3 figures, to appear in CISS 201
Automated Fixing of Programs with Contracts
This paper describes AutoFix, an automatic debugging technique that can fix
faults in general-purpose software. To provide high-quality fix suggestions and
to enable automation of the whole debugging process, AutoFix relies on the
presence of simple specification elements in the form of contracts (such as
pre- and postconditions). Using contracts enhances the precision of dynamic
analysis techniques for fault detection and localization, and for validating
fixes. The only required user input to the AutoFix supporting tool is then a
faulty program annotated with contracts; the tool produces a collection of
validated fixes for the fault ranked according to an estimate of their
suitability.
In an extensive experimental evaluation, we applied AutoFix to over 200
faults in four code bases of different maturity and quality (of implementation
and of contracts). AutoFix successfully fixed 42% of the faults, producing, in
the majority of cases, corrections of quality comparable to those competent
programmers would write; the used computational resources were modest, with an
average time per fix below 20 minutes on commodity hardware. These figures
compare favorably to the state of the art in automated program fixing, and
demonstrate that the AutoFix approach is successfully applicable to reduce the
debugging burden in real-world scenarios.Comment: Minor changes after proofreadin
- …