Concept

Langage formel

Publications associées (140)

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

On Repairing Ill-Typed Expressions

Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...

2013

Towards a Theory of Glue

Simon Bliudze

We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-base ...

2012

Automatic Speaker Role Labeling in AMI Meetings: Recognition of Formal and Social Roles

Fabio Valente, Ashtosh Sapru

This work aims at investigating the automatic recognition of speaker role in meeting conversations from the AMI corpus. Two types of roles are considered: formal roles, fixed over the meeting duration and recognized at recording level, and social roles rel ...

2012

Medical Guidelines Reconciling Medical Software and Electronic Devices: Imatinib Case-study

Giovanni De Micheli, Alena Simalatsar

Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system that includes both software a ...

Ieee2012

Bi-Exponential Edge-Preserving Smoother

Michaël Unser, Daniel Sage, Philippe Thévenaz

Edge-preserving smoothers need not be taxed by a severe computational cost. We present, in this paper, a lean algorithm that is inspired by the bi-exponential filter and preserves its structure-a pair of one-tap recursions. By a careful but simple local ad ...

Institute of Electrical and Electronics Engineers2012

A Discrete Element Model for Predicting Shear Strength and Degradation of Rock Joint by Using Compressive and Tensile Test Data

Jian Zhao, Tohid Kazerani

A discrete element model is proposed to examine rock strength and failure. The model is implemented by UDEC, which is developed for this purpose. The material is represented as a collection of irregular-sized deformable particles interacting at their cohes ...

Springer Vienna2012

Multiple Object Tracking using K-Shortest Paths Optimization

Pascal Fua, François Fleuret, Engin Türetken, Jérôme Berclaz

Multi-object tracking can be achieved by detecting objects in individual frames and then linking detections across frames. Such an approach can be made very robust to the occasional detection failure: If an object is not detected in a frame but is in previ ...

Institute of Electrical and Electronics Engineers2011

Causality in Databases

Christoph Koch, Dan Suciu

Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for “causes” of tuples in the query results or in general observations, the analysis of lineage becomes an essential tool for providing such ju ...

2010

A Perching Mechanism for Micro Aerial Vehicles

Dario Floreano, Roland Siegwart, Mirko Kovac, Jürg Markus Germann

Micro Aerial Vehicles (MAVs) with perching capabilities can be used to efficiently place sensors in aloft locations. A major challenge for perching is to build a lightweight mechanism that can be easily mounted on a MAV, allowing it to perch (attach and de ...

2010

Quantitative Analysis of Robustness in Systems Biology

Marc Hafner

To characterize the behavior and robustness of cellular circuits is a major challenge for Systems Biology. Many of the published methods that address this question quantify the local robustness of the models. In this thesis, I tried to underpin the inappro ...

EPFL2010