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 number of students enrolled in universities at standard and online programming courses is huge. This calls for automated evaluation of students assignments and for automated support for learning. We aim at developing methods and tools for objective and ...
In this paper, we present an initial study of on-line unsupervised adaptation for face verification. To the authors’ knowledge this is the first study of this type. The key contributions consist of four test scenarios for the BANCA database as well as tw ...
The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...
Muscle weakness is a common symptom in elderly population and in children with Duchenne muscular dystrophy (DMD), causing impaired mobility. DMD is a devastating degenerative disease caused by a mutation in the dystrophin gene, leading to the absence of th ...
Writing accurate numerical software is hard because of many sources of unavoidable uncertainties, including finite numerical precision of implementations. We present a programming model where the user writes a program in a real-valued implementation and sp ...
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocations by running actual experiments. However, both approaches incur a significa ...
Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2012
, ,
In this paper, we describe a real-time multimodal analysis system with just-in-time multimodal association and fusion for a living room environment, where multiple people may enter, interact and leave the observable world with no constraints. It comprises ...
Fragmented solid targets made of either fluidised tungsten powder or static pebble bed of tungsten spheres, have been long proposed and are being studied as an alternative configuration towards high-power (>1 MW of beam power) target systems, suitable for ...
In this paper, we describe a real-time multimodal analysis system with just-in-time multimodal association and fusion for a living room environment, where multiple people may enter, interact and leave the observable world with no constraints. It comprises ...
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 ...
