MOOC

Introduction to Programming in Java

Related publications (514)

Verified Functional Programming

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

Perceptual effects of daylight patterns in architecture

Kynthia Chamilothori

The profound impact of daylight on occupants is broadly recognized in the fields of architecture and lighting. In particular, the façade and its interplay with light is a central design element, while the diversity of daylight in space is widely acknowledg ...

EPFL2019

From High-Level to Low-Level Robot Learning of Complex Tasks: Leveraging Priors, Metrics and Dynamical Systems

Nadia Barbara Figueroa Fernandez

Humans have a remarkable way of learning, adapting and mastering new manipulation tasks. With the current advances in Machine Learning (ML), the promise of having robots with such capabilities seems to be on the cusp of reality. Transferring human-level sk ...

EPFL2019

Learning an event sequence embedding for event-based deep stereo

François Fleuret, Stepan Tulyakov, Michael Hirsch

Today, a frame-based camera is the sensor of choice for machine vision applications. However, these cameras, originally developed for acquisition of static images rather than for sensing of dynamic uncontrolled visual environments, suffer from high power c ...

IEEE2019

Neural Scene Decomposition for Multi-Person Motion Capture

Pascal Fua, Mathieu Salzmann, Isinsu Katircioglu, Helge Jochen Rhodin, Victor Constantin

Learning general image representations has proven key to the success of many computer vision tasks. For example, many approaches to image understanding problems rely on deep networks that were initially trained on ImageNet, mostly because the learned featu ...

IEEE2019

A Performance Evaluation of Local Features for Image-Based 3D Reconstruction

Pascal Fua, Bin Fan, Zheng Wang, Xiao Wang

This paper performs a comprehensive and comparative evaluation of the state of the art local features for the task of image based 3D reconstruction. The evaluated local features cover the recently developed ones by using powerful machine learning technique ...

2019

Learning How To Recognize Faces In Heterogeneous Environments

Tiago De Freitas Pereira

Face recognition is a mature field in biometrics in which several systems have been proposed over the last three decades. Such systems are extremely reliable under controlled recording conditions and it has been deployed in the field in critical tasks, suc ...

EPFL2019

Learning to Reduce Annotation Load

Ksenia Konyushkova

Modern machine learning methods and their applications in computer vision are known to crave for large amounts of training data to reach their full potential. Because training data is mostly obtained through humans who manually label samples, it induces a ...

EPFL2019

Theoretical foundations of forward feature selection methods based on mutual information

Francisco Santos Paredes Quartin de Macedo

Feature selection problems arise in a variety of applications, such as microarray analysis, clinical prediction, text categorization, image classification and face recognition, multi-label learning, and classification of internet traffic. Among the various ...

ELSEVIER SCIENCE BV2019

Event-based Vision: A Survey

Davide Scaramuzza

Event cameras are bio-inspired sensors that work radically different from traditional cameras. Instead of capturing images at a fixed rate, they measure per-pixel brightness changes asynchronously. This results in a stream of events, which encode the time, ...

2019

Graph Chatbot

Chat with Graph Search

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.