We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
Support vector clustering transforms the data into a high dimensional feature space, where a decision function is computed. In the original space, the function outlines the bounda...
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive deļ¬nite matrices. We endow the space of tensors with an aļ¬ne-invariant...
Pierre Fillard, Vincent Arsigny, Nicholas Ayache, ...
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
Given a space endowed with symmetry, we define ms(, r) to be the maximum of m such that for any r-coloring of there exists a monochromatic symmetric set of size at least m. We c...