Concept

Inductive probability

Related publications (113)

A Quickest Detection Problem With An Observation Cost

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

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.