Quantitative Models: Expressiveness and Analysis Dagstuhl Seminar

نویسندگان

  • Christel Baier
  • Manfred Droste
  • Paul Gastin
  • Kim Guldstrand Larsen
  • Franz Baader
  • Rafael Penaloza
  • Nathalie Bertrand
چکیده

From Jan 18 to Jan 22, 2010, the Dagstuhl Seminar 10031 Quantitative Models: Expressiveness and Analysis was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computational Models of Language Meaning in Context

This report documents the program and the outcomes of Dagstuhl Seminar 13462 “Computational Models of Language Meaning in Context”. The seminar addresses one of the most significant issues to arise in contemporary formal and computational models of language and inference: that of the role and expressiveness of distributional models of semantics and statistically derived models of language and l...

متن کامل

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)

Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological N...

متن کامل

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

متن کامل

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172)

This report documents the program and the outcomes of Dagstuhl Seminar 16172 “Machine Learning for Dynamic Software Analysis: Potentials and Limits”. Machine learning is a powerful paradigm for software analysis that provides novel approaches to automating the generation of models and other essential artefacts. This Dagstuhl Seminar brought together top researchers active in the fields of machi...

متن کامل

Report from Dagstuhl Seminar 15181 Challenges and Trends in Probabilistic Programming

This report documents the program and the outcomes of Dagstuhl Seminar 15181 “Challenges and Trends in Probabilistic Programming”. Probabilistic programming is at the heart of machine learning for describing distribution functions; Bayesian inference is pivotal in their analysis. Probabilistic programs are used in security for describing both cryptographic constructions (such as randomised encr...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010