Incorporating Domain Knowledge with Video and Voice Data Analysis in News Broadcasts
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.
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...
We present the first verification of full functional correctness for a range of linked data structure implementations, including mutable lists, trees, graphs, and hash tables. Specifically, we present the use of the Jahob verification system to verify form ...
This paper addresses the area of structured video indexing and retrieval, and proposes an approach based on fusion of visual and aural features with domain knowledge to detect for the first time, the structure or form of story narration in broadcast news. ...
Field Programmable Gate Arrays (FPGAs) can benefit non-volatility and high-performance by exploiting Resistive Random Access Memories (RRAMs). In RRAM-based FPGAs, the memories do not only replace the SRAMs and store configurations, but they can also repla ...
From the structure of 3,3-dimethyl-3H-benzofuro[3,2-f][1]-benzopyran, a selective in vitro inhibitor of mycobacterial growth, we have undertaken a structure-activity relationship investigation. We wish to report here our results on the use of [2+3] cycload ...
The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...
Recent advances in biosensing technologies have led to applications of biosensor probe arrays for rapid identification of biological agents such as drugs, gene expressions, proteins, cholesterol and fats in an input sample. However, monitoring the simultan ...
This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...
Le projet est issu d'une étroite collaboration entre deux futures architectes et un étudiant en génie civil. Cette approche interdisciplinaire répond à la nécessité grandissante de coopération entre architectes et ingénieurs dans le développement de projet ...
An asymmetric synthesis of the 3,5-dihydroxycyclohexanone subunit of baconipyrones A and B, as well as that of the hydroxydiketone subunit of baconipyrones C and D ((-)-(4S,6S)-4,6-dimethyl-5-hydroxynonan-3,7-dione), is described. Key steps include sulfur ...
