Probability and Recursion

Kousha Etessami; Mihalis Yannakakis

doi:10.1007/11602613_2

Probability and Recursion

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

In this talk we will discuss recent work on the modeling and algorithmic analysis of systems involving recursion and probability. There has been intense activity recently in the study of such systems [2,3,10,11,13,14,15,16,17]. The primary motivation comes from the analysis of probabilistic programs with procedures. Probability can arise either due to randomizing steps in the program, or it may reflect statistical assumptions on the behaviour of the program, under which we want to investigate its properties.

Original language	English
Title of host publication	Algorithms and Computation
Subtitle of host publication	16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
Publisher	Springer
Pages	2-4
Number of pages	3
Volume	3827
ISBN (Electronic)	978-3-540-32426-3
ISBN (Print)	978-3-540-30935-2
DOIs	https://doi.org/10.1007/11602613_2
Publication status	Published - 2005

Access to Document

10.1007/11602613_2

http://dx.doi.org/10.1007/11602613_2

Cite this

@inproceedings{fd685d471c9e4e9588f1628a917af385,

title = "Probability and Recursion",

abstract = "In this talk we will discuss recent work on the modeling and algorithmic analysis of systems involving recursion and probability. There has been intense activity recently in the study of such systems [2,3,10,11,13,14,15,16,17]. The primary motivation comes from the analysis of probabilistic programs with procedures. Probability can arise either due to randomizing steps in the program, or it may reflect statistical assumptions on the behaviour of the program, under which we want to investigate its properties.",

author = "Kousha Etessami and Mihalis Yannakakis",

year = "2005",

doi = "10.1007/11602613_2",

language = "English",

isbn = "978-3-540-30935-2",

volume = "3827",

pages = "2--4",

booktitle = "Algorithms and Computation",

publisher = "Springer",

}

TY - GEN

T1 - Probability and Recursion

AU - Etessami, Kousha

AU - Yannakakis, Mihalis

PY - 2005

Y1 - 2005

N2 - In this talk we will discuss recent work on the modeling and algorithmic analysis of systems involving recursion and probability. There has been intense activity recently in the study of such systems [2,3,10,11,13,14,15,16,17]. The primary motivation comes from the analysis of probabilistic programs with procedures. Probability can arise either due to randomizing steps in the program, or it may reflect statistical assumptions on the behaviour of the program, under which we want to investigate its properties.

AB - In this talk we will discuss recent work on the modeling and algorithmic analysis of systems involving recursion and probability. There has been intense activity recently in the study of such systems [2,3,10,11,13,14,15,16,17]. The primary motivation comes from the analysis of probabilistic programs with procedures. Probability can arise either due to randomizing steps in the program, or it may reflect statistical assumptions on the behaviour of the program, under which we want to investigate its properties.

U2 - 10.1007/11602613_2

DO - 10.1007/11602613_2

M3 - Conference contribution

SN - 978-3-540-30935-2

VL - 3827

SP - 2

EP - 4

BT - Algorithms and Computation

PB - Springer

ER -

Probability and Recursion

Abstract / Description of output

Access to Document

Fingerprint

Cite this