Concept

Méthode de saisie

Publications associées (81)

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

, , ,

Example Data for DeepReefMap This dataset contains input videos in MP4 format taken with GoPro Hero 10 Cameras in Reefs in the Red Sea to demonstrate the DeepReefMap tool, which is described in the paper "Scalable Semantic 3D Mapping of Coral Reefs with De ...

EPFL Infoscience2024

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Rodrigo Raya

We study the satisfiability problem of symbolic finite automata and decompose it into the satisfiability problem of the theory of the input characters and the monadic second-order theory of the indices of accepted words. We use our decomposition to obtain ...

2023

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

Rodrigo Raya

We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted word ...

2023

, ,

This dataset contains data and scripts for "CRYOWRF - a validation and the effect of blowing snow on the Antarctic SMB" (Gerber et al., 2022).* Simulation_setup: Namelists and input information to run the simulation. Some input files need to be downloaded ...

EPFL Infoscience2022

Visual Focus of Attention Estimation in 3D Scene with an Arbitrary Number of Targets

Jean-Marc Odobez, Rémy Alain Siegfried

Visual Focus of Attention (VFOA) estimation in conversation is challenging as it relies on difficult to estimate information (gaze) combined with scene features like target positions and other contextual information (speaking status) allowing to disambigua ...

IEEE COMPUTER SOC2021

Planning for a Changing Climate without Accurate Predictions

Parag Rastogi, Mohammad Emtiyaz Khan

Simulation is an informative tool to plan the design and renovation of engineering systems, but its use requires accurate inputs from the users. Inputs such as the unknown future operating conditions might be expected in a system’s lifetime, e.g., the futu ...

Taylor & Francis Group2021

, , , , , , ,

Information transmission through multimode fibers (MMFs) has been a topic of great interest for many years. Deep learning algorithms have been applied successfully to MMFs in particular to fiber endoscopy. In this work, we show how Deep Neural Networks (DN ...

ELSEVIER SCIENCE INC2019

Bi-Modal Control of Vacuum-Powered Soft Pneumatic Actuators with Embedded Liquid Metal-Based Strain Sensitive Skin

Stéphanie Lacour, Jamie Paik, Matthew Aaron Robertson, Laurent Mirko Dejace

Soft robotic systems are composed of active and passively deformable structures which are intrinsically compliant, flexible, and elastic. Although these features offer benefits of adaptability, robustness, and safety, controlling these types of robots is a ...

IEEE2019

Introducing Vehicle Dynamic Models in Dynamic Networks for Navigation in UAVs

Kenneth Joseph Paul

Estimation of the trajectory is a fundamental problem in robotics. Introduction of additional measurements in a robotic platform reduces the uncertainty in the trajectory estimate. The limitations on the power and payload in a UAV platform advocates for th ...

2019

A Regularization Framework for Learning Over Multitask Graphs

Ali H. Sayed, Stefan Vlaski, Roula Nassif

This letter proposes a general regularization framework for inference over multitask networks. The optimization approach relies on minimizing a global cost consisting of the aggregate sum of individual costs regularized by a term that allows to incorporate ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019