Publications associées à Problème algorithmique

Constraint-Level Advice for Shaving

This work concentrates on improving the robustness of constraint solvers by increasing the propagation strength of constraint models in a declarative and automatic manner. Our objective is to efficiently identify and remove shavable values during search. A ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Nouakchott, quelles solutions pour l'habitat précaire (Mauritanie, Afrique)?

Katleen Vercauteren

Le projet aborde la thématique de l'habitat précaire, qui nous semble plus que jamais d'actualité, sachant qu'aujourd'hui un tiers de la population urbaine mondiale habite dans un bidonville. L'Afrique est un des continents les plus touchés par ce phénomèn ...

2007

Even Small Birds are Unique: Population Protocols with Identifiers

Rachid Guerraoui, Eric Ruppert

Although much research has been devoted to designing and experimenting on ad hoc networks of tiny devices, very little has focussed on devising theoretical models to capture the inherent power and limitations of such networks. A notable exception is the po ...

2007

Public urban transport in the context of social inclusion and cohesion – the case of Santiago de Chile

Regina Witter

What are the impacts of a re-designed public transportation system in a city where social differences are heavily manifested in spatial separation, i.e. where exist certain inequalities concerning the access to daily activities and participation in urban l ...

2007

Algorithms and methods for sparse approximation in structured dictionaries

Lorenzo Peotta

In the last decade we observed an increasing interaction between data compression and sparse signals approximations. Sparse approximations are desirable because they compact the energy of the signals in few elements and correspond to a structural simplific ...

EPFL2007

Thermoviscoelastic anisotropic analysis of process induced residual stresses and dimensional stability in real polymer matrix composite components

Véronique Michaud

A design tool able to predict the residual stress state and dimensional stability of large complex shaped composite parts has been developed. It is based on a finite element model, using a three-dimensional anisotropic thermo-viscoelastic formulation. Asym ...

2006

Computational Hardness and Explicit Constructions of Error Correcting Codes

Mohammad Amin Shokrollahi, Mahdi Cheraghchi Bashi Astaneh

We outline a procedure for using pseudorandom generators to construct binary codes with good properties, assuming the existence of sufficiently hard functions. Specifically, we give a polynomial time algorithm, which for every integers

n

and

k

, constru ...

2006

Using Posterior-Based Features in Template Matching for Speech Recognition

Hervé Bourlard, Guillermo Aradilla

Given the availability of large speech corpora, as well as the increasing of memory and computational resources, the use of template matching approaches for automatic speech recognition (ASR) have recently attracted new attention. In such template-based ap ...

2006

Using Posterior-Based Features in Template Matching for Speech Recognition

Hervé Bourlard, Guillermo Aradilla

Given the availability of large speech corpora, as well as the increasing of memory and computational resources, the use of template matching approaches for automatic speech recognition (ASR) have recently attracted new attention. In such template-based ap ...

IDIAP2006

Molecular dynamics modeling of cavity strengthening in irradiated iron

Seyed Masood Hafez Haghighat, Peter Gumbsch

One of the most important problems in the field of nuclear industry is the relationship between irradiation-induced damage and the resulting induced mechanical response of the target metal and in particular ferritic base steels. In this work the molecular ...

2006

Problème algorithmique

Graph Chatbot

Chattez avec Graph Search

Constraint-Level Advice for Shaving

Nouakchott, quelles solutions pour l'habitat précaire (Mauritanie, Afrique)?

Even Small Birds are Unique: Population Protocols with Identifiers

Public urban transport in the context of social inclusion and cohesion – the case of Santiago de Chile

Algorithms and methods for sparse approximation in structured dictionaries

Thermoviscoelastic anisotropic analysis of process induced residual stresses and dimensional stability in real polymer matrix composite components

Computational Hardness and Explicit Constructions of Error Correcting Codes

Using Posterior-Based Features in Template Matching for Speech Recognition

Using Posterior-Based Features in Template Matching for Speech Recognition

Molecular dynamics modeling of cavity strengthening in irradiated iron

Public urban transport in the context of social inclusion and cohesion – the case of Santiago de Chile

Algorithms and methods for sparse approximation in structured dictionaries

Nouakchott, quelles solutions pour l'habitat précaire (Mauritanie, Afrique)?

Computational Hardness and Explicit Constructions of Error Correcting Codes

Using Posterior-Based Features in Template Matching for Speech Recognition

Molecular dynamics modeling of cavity strengthening in irradiated iron

Constraint-Level Advice for Shaving

Even Small Birds are Unique: Population Protocols with Identifiers

Thermoviscoelastic anisotropic analysis of process induced residual stresses and dimensional stability in real polymer matrix composite components

Using Posterior-Based Features in Template Matching for Speech Recognition