output
20072013
most citedLearning and comparing functional connectomes across subjects

242 citations

researchers with a paper here
collaborating institutions
Showing 2012Show all

34 papers · 1 filter

cs.AI2012

Multi-Objective AI Planning: Evaluating DAE-YAHSP on a Tunable Benchmark

Mostepha Redouane Khouadjia, Marc Schoenauer, Vincent Vidal +2

All standard AI planners to-date can only handle a single objective, and the only way for them to take into account multiple objectives is by aggregation of the objectives. Further…

cs.LO2012★ 7 cited

Partition Refinement for Bisimilarity in CCP

Andrés Aristizábal, Filippo Bonchi, Luis Pino +1

Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, ca…

cs.LG2012★ 4 cited

Cumulative Step-size Adaptation on Linear Functions

Alexandre Chotard, Anne Auger, Nikolaus Hansen

The CSA-ES is an Evolution Strategy with Cumulative Step size Adaptation, where the step size is adapted measuring the length of a so-called cumulative path. The cumulative path is…

cs.LO2012

The Refined Calculus of Inductive Construction: Parametricity and Abstraction

Chantal Keller, Marc Lasson

We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in…

cs.LG2012

Objective Improvement in Information-Geometric Optimization

Youhei Akimoto, Yann Ollivier

Information-Geometric Optimization (IGO) is a unified framework of stochastic algorithms for optimization problems. Given a family of probability distributions, IGO turns the origi…

math.AP2012

Small time heat kernel asymptotics at the cut locus on surfaces of revolution

Davide Barilari, Jacek Jendrej

In this paper we investigate the small time heat kernel asymptotics on the cut locus on a class of surfaces of revolution, which are the simplest 2-dimensional Riemannian manifolds…