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.
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider different communication architectures and work related to the feature interaction problem. Based on our surve ...
This paper presents a general overview of the current research activities in the European PICASSO project on speaker verification for telephone applications. First, the general formalism used by the project is described. Then the scientific issues under fo ...
This paper presents a general overview of the current research activities in the European PICASSO project on speaker verification for telephone applications. First, the general formalism used by the project is described. Then the scientific issues under fo ...
This short report summarizes the contribution of the project 'Java for teaching and research'. A website has been created to allow interested users to download the material produced during the project. The site is reachable at http://lcavwww.epfl.ch/~balme ...
It is clear to all, after a moments thought, that nature has much wemight be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name a few. The implementation of bio-inspired systems in hardware has however bee ...
This paper presents the approach of a current research project at the EPFL in the area of seismic risk management. The objective of the project is to define and test a methodology for the quantitative characterization and comparison of intervention strateg ...
20th European Regional Earthquake Engineering Seminar2001
The Collaborative Concept Mapping project is a joint research project between IMD and EPFL. The goal of the project is to create a collaborative tool that helps managers to define business strategies in the face of complex situations. Addressing complex pr ...
The implementation of bio-inspired systems in hardware has traditionally been more a matter of artistry than of method. The reasons are multiple, but one of the main problems has always been the lack of a universal platform, of a standardized architecture, ...
The paper presents the European ACTS project “M2VTS” which stands for Multi Modal Verification for Teleservices and Security Applications. The primary goal of this project is to address the issue of secured access to local and centralised services in a mul ...
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider different communication architectures and work related to the feature interaction problem. Based on our surve ...