Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
The approach to improve confidence in Services Implementation presented in this paper is based on the addition of a Service Modeler and Verifier Function (SMV) in the environment where the service take place. The SMV, combined with a test scenario, is able ...
In this paper we present a multi-modal web interface for autonomous mobile robots. The purpose of this interface is twofold. It serves as a tool for task supervision for the researcher and task specification for the end-user. The applications envisaged are ...
A pseudo-spectral scheme for solving the incompressible Navier-Stokes equations using unstructured nodal triangles is proposed. Efficient algorithms are developed with numerical evidence that indicates optimal rates of convergence can be achieved. Navier-S ...
Numerous proposals for applying temporal logic to the specification and verification of object-oriented systems have appeared in the past several years. Although various temporal models have been proposed for the requirements analysis of object-oriented di ...
Photodynamic therapy (PDT) is a new treatment modality which relies on a nonthermal light exposure of choroidal neovascularization (CNV) which has accumulated a photosensitizer, to produce a photochemical thrombosis. The aim of the present study was to dev ...
Based on the notion of event-based behavioral abstraction (EBBA) we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are then observed at system run-time and it is checked whether or not the system v ...
This paper describes a multimodal approach for speaker verification. The system consists of two classifiers, one using visual features and the other using acoustic features. A lip tracker is used to extract visual information from the speaking face which p ...
This paper describes a multimodal approach for speaker verification. The system consists of two classifiers, one using visual features and the other using acoustic features. A lip tracker is used to extract visual information from the speaking face which p ...
This paper presents the use of a multi-linear classifier allowing to fuse the results of several modalities in a multi-modal person identity verification context. In the considered verification system, each of the d modalities forms an autonomous bloc that ...
The concept of event-based behavioral abstraction (EBBA) is shown to facilitate the Design For Testability (DFT) if the set of events is well-chosen. We provide a predefined set of events which, together with linear-time temporal logic, can be used for exp ...
