Best, worst and average case

Science formelle
Informatique théorique
Algorithme
Analyse de la complexité de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

Integration of a Real-Time Node for Magnetic Perturbations Signal Analysis in the Distributed Digital Control System of the TCV Tokamak

Olivier Sauter, Basil Duval, Stefano Coda, Jean-Marc Moret, Duccio Testa, Xavier Llobet, Cristian Galperti

This paper presents the integration of an acquisition and computing unit capable of acquiring and processing fast magnetic signals in real time in the control system of the tokamak a configuration variabile tokamak. All aspects of system integration and te ...

2017

Jump-Penalized Least Absolute Values Estimation of Scalar or Circle-Valued Signals

Michaël Unser, Martin Kurt Storath

We study jump-penalized estimators based on least absolute deviations which are often referred to as Potts estimators. They are estimators for a parsimonious piecewise constant representation of noisy data having a noise distribution which has heavier tail ...

Oxford University Press2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Synthesizing efficient systems in probabilistic environments

Barbara Jobstmann, David Parker

We present a formalism, algorithms and tools to synthesise reactive systems that behave efficiently, i.e., which achieve an optimal trade-off between a given cost and reward model. Synthesis aims to automatically generate a program from a specification. Mo ...

Springer2016

From Acoustic Room Reconstruction to SLAM

Martin Vetterli, Ivan Dokmanic

Recent works on reconstruction of room geometry from echoes assume that the geometry of the sensor array is known. In this paper, we show that such an assumption is not essential; echoes provide sufficient clues to reconstruct the room’s and the array’s ge ...

Ieee2016

SHAPE: Linear-Time Camera Pose Estimation With Quadratic Error-Decay

Martin Vetterli, Adam James Scholefield, Alireza Ghasemi

We propose a novel camera pose estimation or perspective-n-point (PnP) algorithm, based on the idea of consistency regions and half-space intersections. Our algorithm has linear time-complexity and a squared reconstruction error that decreases at least qua ...

Ieee2016

On convergence and performance certification of a continuous-time economic model predictive control scheme with time-varying performance index

Colin Neil Jones, Andrea Alessandretti

This paper addresses the design of convergence and performance certified sampled-data model predictive control (MPC) laws with a time-dependent economic performance index. More precisely, using a dissipativity property of the system, we provide a set of su ...

Pergamon-Elsevier Science Ltd2016

Page 2 sur 2