Publications associées à Diviser pour régner (informatique)

Modified parallel code-phase search for acquisition in presence of sign transition

Pierre-André Farine, Cyril Botteron, Jérôme Leclère

One of the method to have a fast acquisition of GNSS signals is the parallel code-phase search, which uses the fast Fourier transform (FFT) to perform the correlation. A problem with this method is the potential sign transition that can happen between two ...

2013

Interchangeability with thresholds and degradation factors for Soft CSPs

Boi Faltings, Nicoleta Neagu

Substitutability and interchangeability in constraint satisfaction problems (CSPs) have been used as a basis for search heuristics, solution adaptation and abstraction techniques. In this paper, we consider how the same concepts can be extended to soft con ...

Springer2013

Automatic Synthesis of Out-of-Core Algorithms

Viktor Kuncak, Christoph Koch, Ioannis Klonatos, Andres Nötzli, Andrej Spielmann

We present a system for the automatic synthesis of efficient algorithms specialized for a particular memory hierarchy and a set of storage devices. The developer provides two independent inputs: 1) an algorithm that ignores memory hierarchy and external st ...

ACM Press2013

An overview of the Leon verification system: verification by translation to recursive functions

Viktor Kuncak, Etienne Kneuss, Régis William Blanc, Philippe Paul Henri Suter

We present the Leon verification system for a subset of the Scala programming language. Along with several functional features of Scala, Leon supports imperative constructs such as mutations and loops, using a translation into recursive functional form. Bo ...

2013

On Verification by Translation to Recursive Functions

Viktor Kuncak, Etienne Kneuss, Régis William Blanc, Philippe Paul Henri Suter

We present the Leon verification system for a subset of the Scala programming language. Along with several functional features of Scala, Leon supports imperative constructs such as mutations and loops, using a translation into recursive functional form. Bo ...

2013

On the computation of directional scale-discretized wavelet transforms on the sphere

Pierre Vandergheynst, Yves Wiaux, Jason Douglas McEwen

We review scale-discretized wavelets on the sphere, which are directional and allow one to probe oriented struc- ture in data defined on the sphere. Furthermore, scale-discretized wavelets allow in practice the exact synthesis of a signal from its wavelet ...

SPIE2013

Personalising speech-to-speech translation: Unsupervised cross-lingual speaker adaptation for HMM-based speech synthesis

John David Scott Dines, Hui Liang, Lakshmi Babu Saheer, Matthew Gibson, Simon King

In this paper we present results of unsupervised cross-lingual speaker adaptation applied to text-to-speech synthesis. The application of our research is the personalisation of speech-to-speech translation in which we employ a HMM statistical framework for ...

2013

Development of real-time plasma analysis and control algorithms for the TCV tokamak using SIMULINK

Olivier Sauter, Basil Duval, Stefano Coda, Timothy Goodman, Jean-Marc Moret, Federico Alberto Alfredo Felici, Wouter Vijvers, Alessandro Bortolon, James Paley, Lucia Isabel Federspiel, Francesco Piras, Hoang Bao Le, Andreas Pitzschke

One of the key features of the new digital plasma control system installed on the TCV tokamak is the possibility to rapidly design, test and deploy real-time algorithms. With this flexibility the new control system has been used for a large number of new e ...

Elsevier2013

NoRSE: noise reduction and state evaluator for high-frequency single event traces

Ardemis Anoush Boghossian

Summary: NoRSE was developed to analyze high-frequency datasets collected from multistate, dynamic expts., such as mol. adsorption and desorption onto carbon nanotubes. As technol. improves sampling frequency, these stochastic datasets become increasingly ...

2012

An Efficient Algorithm for Level Set Method Preserving Distance Function

Jean-Philippe Thiran, Xavier Bresson, Dominique Zosso, Virginia Estellers Casas

The level set method is a popular technique for tracking moving interfaces in several disciplines including computer vision and fluid dynamics. However, despite its high flexibility, the original level set method is limited by two important numerical issue ...

Institute of Electrical and Electronics Engineers2012

Diviser pour régner (informatique)

Modified parallel code-phase search for acquisition in presence of sign transition

Interchangeability with thresholds and degradation factors for Soft CSPs

Automatic Synthesis of Out-of-Core Algorithms

An overview of the Leon verification system: verification by translation to recursive functions

On Verification by Translation to Recursive Functions

On the computation of directional scale-discretized wavelet transforms on the sphere

Personalising speech-to-speech translation: Unsupervised cross-lingual speaker adaptation for HMM-based speech synthesis

Development of real-time plasma analysis and control algorithms for the TCV tokamak using SIMULINK

NoRSE: noise reduction and state evaluator for high-frequency single event traces

An Efficient Algorithm for Level Set Method Preserving Distance Function

Graph Chatbot

Chattez avec Graph Search

Automatic Synthesis of Out-of-Core Algorithms

Interchangeability with thresholds and degradation factors for Soft CSPs

Modified parallel code-phase search for acquisition in presence of sign transition

An overview of the Leon verification system: verification by translation to recursive functions

An Efficient Algorithm for Level Set Method Preserving Distance Function

NoRSE: noise reduction and state evaluator for high-frequency single event traces

On Verification by Translation to Recursive Functions

Personalising speech-to-speech translation: Unsupervised cross-lingual speaker adaptation for HMM-based speech synthesis

Development of real-time plasma analysis and control algorithms for the TCV tokamak using SIMULINK

On the computation of directional scale-discretized wavelet transforms on the sphere