Concept

Inductive probability

Publications associées (113)

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

A Quickest Detection Problem With An Observation Cost

Robert Dalang

In the classical quickest detection problem, one must detect as quickly as possible when a Brownian motion without drift "changes" into a Brownian motion with positive drift. The change occurs at an unknown "disorder" time with exponential distribution. Th ...

Inst Mathematical Statistics2015

Systems and methods for tracking interacting objects

Pascal Fua, François Fleuret, Engin Türetken, Xinchao Wang

Systems and methods for tracking interacting objects may acquire, with a sensor, and two or more images associated with two or more time instances. A processor may generate image data from the two or more images. The processor may apply an extended Probabi ...

2015

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag Berlin2015

Speaker diarization of spontaneous meeting room conversations

Sree Harsha Yella

Speaker diarization is the task of identifying ``who spoke when'' in an audio stream containing multiple speakers. This is an unsupervised task as there is no a priori information about the speakers. Diagnostical studies on state-of-the-art diarization sys ...

EPFL2015

On recursion-free Horn clauses and Craig interpolation

Viktor Kuncak, Hossein Hojjat

One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various progr ...

Springer2015

Overlapping speech detection using long-term conversational features for speaker diarization in meeting room conversations

Hervé Bourlard, Sree Harsha Yella

Overlapping speech has been identified as one of the main sources of errors in diarization of meeting room conversations. Therefore, overlap detection has become an important step prior to speaker diarization. Studies on conversational analysis have shown ...

2014

Dynamic Modeling Of Lane Distribution Impact In Complex Freeways

Nikolaos Geroliminis, André-Gilles Dumont, Sofia Samoili

Traffic dynamics have been the focal point of research aiming to provide a better understanding of traffic phenomena and to be integrated in traffic management for recurrent congestion. The aim of the study is to ameliorate complex highway and/or freeway n ...

2014

On Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

2014

Selfish Response to Epidemic Propagation

Jean-Yves Le Boudec, Georgios Theodorakopoulos

An epidemic that spreads in a network calls for a decision on the part of the network users. They have to decide whether to protect themselves or not. Their decision depends on the trade-off between their perceived infection and the protection cost. Aiming ...

2013

Choice Probability Generating Functions

Michel Bierlaire

This paper considers discrete choice, with choice probabilities coming from maximization of preferences from a random utility field perturbed by additive location shifters (ARUM). Any ARUM can be characterized by a choice-probability generating function (C ...

2013