Concept

Tri rapide

Publications associées (40)

Automated Detection and Delineation of Tree Structures in Noisy Micrographs

Despite more than a century of research, we still lack a concise description of the different types of neurons in the brain. This is a result of their large variance in morphology and the time consuming reconstruction process. In this thesis we design nove ...

EPFL2011

On Deciding Functional Lists with Sublist Sets

Viktor Kuncak

Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functional lists. We first show how to decide in NP the satisfiability problem for lo ...

2010

A Divide-and-Conquer Approach for Solving Interval Algebra Networks

Jingshi Li

Deciding consistency of constraint networks is a fundamental problem in qualitative spatial and temporal reasoning. In this paper we introduce a divide-and-conquer method that recursively partitions a given problem into smaller sub-problems in deciding con ...

2009

, ,

State-of-the-art approaches for detecting filament-like structures in noisy images rely on filters optimized for signals of a particular shape, such as an ideal edge or ridge. While these approaches are optimal when the image conforms to these ideal shapes ...

2009

When manufacturing capability exceeds control capability: The paradox of high precision products, or is it possible to assemble functional products out of components we are unable to measure?

Jacques Jacot, Fabien Bourgeois, Sandra Koelemeijer Chollet

Sorting and mating is a very common practice in high precision manufacturing, as well in the watch industry, biomedical or automotive industry. This strategy helps to increase the assembly yield, but is costly and time-consuming. The question is, when is i ...

Springer, 233 Spring Street, New York, Ny 10013, United States2008

In chip multiprocessors (CMPs), limiting the number of off-chip cache misses is crucial for good performance. Many multithreaded programs provide opportunities for constructive cache sharing, in which concurrently scheduled threads share a largely overlapp ...

2006

A distributed least-squares estimation strategy is developed by appealing to collaboration techniques that exploit the space-time structure of the data, achieving an exact recursive solution that is fully distributed. Each node is allowed to communicate wi ...

IEEE2006

Order Matters: A Distributed Sampling Method for Multi-Object Tracking

Kevin Smith

Multi-Object tracking (MOT) is an important problem in a number of vision applications. For particle filter (PF) tracking, as the number of objects tracked increases, the search space for random sampling explodes in dimension. Partitioned sampling (PS) sol ...

2004

Order Matters: A Distributed Sampling Method for Multi-Object Tracking

Kevin Smith

IDIAP2004

Optimal Key Ranking Procedures in a Statistical Cryptanalysis

Serge Vaudenay, Pascal Junod

Hypothesis tests have been used in the past as a tool in a cryptanalytic context. In this paper, we propose to use this paradigm and define a precise and sound statistical framework in order to optimally mix information on independent attacked subkey bits ...

2003

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search