Sound and Complete Verification of Polynomial Networks
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.
Artificial neural networks represent a simple but efficient way to model and correct known errors existing between commonly used density functional computations and experimental data. The recently proposed X1 approach combines B3LYP energies with a neural- ...
Text embedded in images and videos represents a rich source of information for content-based indexing and retrieval applications. In this paper, we present a new method for localizing and recognizing text in complex images and videos. Text localization is ...
Speaker Diarization is the process of partitioning an audio input into homogeneous segments according to speaker identity where the number of speakers in a given audio input is not known a priori. This master thesis presents a novel initialization method f ...
One major research challenge in the domain of the analysis of meeting room data is the automatic transcription of what is spoken during meetings, a task which has gained considerable attention within the ASR research community through the NIST rich transcr ...
We present a new contour segmentation method for femoral head detection in CT images. The principal idea underlying our approach is to represent the contour using active rays. Each ray has internal energy (continuity and smoothness constraints), as well as ...
NOVELTY - The display method involves evaluating the sequence of images by: associating a first analysis image value to pixels in the first sequence of images to which pixels of same locations of the field (11) are imaged, respectively; associating a secon ...
One major research challenge in the domain of the analysis of meeting room data is the automatic transcription of what is spoken during meetings, a task which has gained considerable attention within the ASR research community through the NIST rich transcr ...
Text embedded in images and videos represents a rich source of information for content-based indexing and retrieval applications. In this paper, we present a new method for localizing and recognizing text in complex images and videos. Text localization is ...
We present a method for face class modeling in the eigenfaces space using a large-margin classifier like SVM. Another issue addressed is how to select the number of eigenfaces to achieve a good classification rate. As the experimental evidence show, genera ...
In this paper we propose a method for classifying regions of images and videos frames into text and non-text regions using support vector machine (SVM). Different features are proposed to characterise the texture formed by text characters and background. S ...
