|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Data Structures for Efficient Inference and Optimization in Expressive Continuous Domains
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.
This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
This talk is in two parts. In the first part, I introduce an extension of the algebraic decision diagram (ADD) to continuous variables—termed the extended ADD (XADD)—to represent arbitrary piecewise functions (nb, arbitrary pieces, not just hyper-rectangular) over discrete and continuous variables and show how to define and efficiently compute elementary arithmetic operations, integrals, and maximization for various restrictions of these functions. In the second part, I cover a wide range of novel applications where the XADD may be applied: (a) exact inference in expressive discrete and continuous variable graphical models, (b) factored, parameterized linear and quadratic optimization (a generalization of LP and QP solving), and© exact solutions to continuous state, action, and observation sequential decision-making problems.
This is joint work with Zahra Zamani & Ehsan Abbasnejad (Australian National University), Karina Valdivia Delgado & Leliane Nunes de Barros (University of Sao Paulo), and Simon Fang (M.I.T.).
This talk is part of the Microsoft Research Cambridge, public talks series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsPostdocs of Cambridge Non-Covalent Chemistry Symposium RECOUP open seminar series
Other talksMechanism of premature cracking in jointed plain concrete pavements FILM: The Elephant Man Maps and seafarers in the English Channel (eighteenth century) The philosophical role of illness Surface plasmon resonance (Biacore) Programming and Proving with Fine-Grained Concurrent Resources