Issue

Dagstuhl Reports, Volume 5, Issue 5

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.5.5
Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue
Abstract
Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue
Cite as

Dagstuhl Reports, Volume 5, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{DagRep.5.5,
  title =	{{Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5},
  URN =		{urn:nbn:de:0030-drops-56739},
  doi =		{10.4230/DagRep.5.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 5, May 2015, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.5.5.i
Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 5, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{DagRep.5.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.i},
  URN =		{urn:nbn:de:0030-drops-56746},
  doi =		{10.4230/DagRep.5.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 5, 2015}
}
Document
DOI: 10.4230/DagRep.5.5.1
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)

Authors: Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency". The seminar was successful and facilitated a stimulating interchange between the theory and practice of concurrent programming, and thereby laid the ground for the development of compositional verification methods that can scale to handle the realities of next-generation concurrency.
Cite as

Lars Birkedal, Derek Dreyer, Philippa Gardner, and Zhong Shao. Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). In Dagstuhl Reports, Volume 5, Issue 5, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{birkedal_et_al:DagRep.5.5.1,
  author =	{Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong},
  title =	{{Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)}},
  pages =	{1--23},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.1},
  URN =		{urn:nbn:de:0030-drops-53565},
  doi =		{10.4230/DagRep.5.5.1},
  annote =	{Keywords: Verification of Concurrent Programs (Models, Logics, Automated Analysis), Concurrent Programming}
}
Document
DOI: 10.4230/DagRep.5.5.24
The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192)

Authors: Roberto Casati, Patrick Cavanagh, and Paulo E. Santos

Abstract
Computer vision, besides being a key area in Computer Science, is present in various industrial applications, such as traffic sign recognition (including car license plates), face and gesture recognition, content-based image retrieval, remote sensing, cartography, radar sensing, and robot mapping. However, most computer vision systems disregard the cognitive aspects of human perception, thus limiting their applicability in natural environments, whereby small changes in the light conditions cause negative effects on the system's accuracy. This seminar brought together contributions from Computer Vision, Cognitive Psychology, Philosophy and History of Art in order to discuss the information content in cast shadows which, although currently recognised by psychologists as providing important cues about depth perception, is considered as noise in the computer vision literature.
Cite as

Roberto Casati, Patrick Cavanagh, and Paulo E. Santos. The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192). In Dagstuhl Reports, Volume 5, Issue 5, pp. 24-42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{casati_et_al:DagRep.5.5.24,
  author =	{Casati, Roberto and Cavanagh, Patrick and Santos, Paulo E.},
  title =	{{The Message in the Shadow: Noise or Knowledge? (Dagstuhl Seminar 15192)}},
  pages =	{24--42},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Casati, Roberto and Cavanagh, Patrick and Santos, Paulo E.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.24},
  URN =		{urn:nbn:de:0030-drops-53570},
  doi =		{10.4230/DagRep.5.5.24},
  annote =	{Keywords: Cast Shadows, Perception, Computer Vision, Space Cognition}
}
Document
DOI: 10.4230/DagRep.5.5.43
Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)

Authors: Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger

Abstract
Dagstuhl Seminar 15201 was conducted on "Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations". Participants from around the world participated in the seminar and presented state-of-the-art and ongoing research related to the seminar topic. An executive summary of the seminar, abstracts of the talks from participants and working group discussions are presented in the forthcoming sections.
Cite as

Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, and Achim Rettinger. Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201). In Dagstuhl Reports, Volume 5, Issue 5, pp. 43-56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{hauptmann_et_al:DagRep.5.5.43,
  author =	{Hauptmann, Alexander G. and Hodson, James and Li, Juanzi and Sebe, Nicu and Rettinger, Achim},
  title =	{{Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201)}},
  pages =	{43--56},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{5},
  editor =	{Hauptmann, Alexander G. and Hodson, James and Li, Juanzi and Sebe, Nicu and Rettinger, Achim},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.43},
  URN =		{urn:nbn:de:0030-drops-53590},
  doi =		{10.4230/DagRep.5.5.43},
  annote =	{Keywords: Cross-lingual, Cross-media, Cross-modal, Natural language processing, Computer vision, Multimedia, Knowledge representation, Machine learning, Information extraction, Information retrieval}
}
Document
DOI: 10.4230/DagRep.5.5.57
Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)

Authors: Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele

Abstract
This report documents the talks and discussions at the Dagstuhl Seminar 15211 "Theory of Evolutionary Algorithms". This seminar, now in its 8th edition, is the main meeting point of the highly active theory of randomized search heuristics subcommunities in Australia, Asia, North America, and Europe. Topics intensively discussed include rigorous runtime analysis and computational complexity theory for randomised search heuristics, information geometry of randomised search, and synergies between the theory of evolutionary algorithms and theories of natural evolution.
Cite as

Benajmin Doerr, Nikolaus Hansen, Christian Igel, and Lothar Thiele. Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). In Dagstuhl Reports, Volume 5, Issue 5, pp. 57-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{doerr_et_al:DagRep.5.5.57,
  author =	{Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar},
  title =	{{Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}},
  pages =	{57--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Doerr, Benajmin and Hansen, Nikolaus and Igel, Christian and Thiele, Lothar},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.57},
  URN =		{urn:nbn:de:0030-drops-54022},
  doi =		{10.4230/DagRep.5.5.57},
  annote =	{Keywords: evolutionary algorithms, black-box optimization, randomized search heuristics, algorithms, artificial intelligence}
}
Document
DOI: 10.4230/DagRep.5.5.92
Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)

Authors: Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15221 "Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges". This multi-disciplinary seminar brought together researchers from computer science, philosophy and psychology dealing with topics of rational reasoning, reasoning with imperfect information and rational decision making in real world problems. The different views from computational, logical and cognitive perspectives provided new insights on overlapping goals and complemtary questions, for instance, when psychologists being interested in new formal models and computer scientists being interested whether their developed methods are materially adequate discussed logical and terminological backgrounds with philosophers. The combination of introductory talks, presentations and discussions of current work of the participants and discussion groups dealing with general questions lead to fruitful discussions where challenges for new paradigms of rational reasoning as well as visions and foci for interdisciplinary work were raised.
Cite as

Igor Douven, Gabriele Kern-Isberner, Markus Knauff, and Henri Prade. Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221). In Dagstuhl Reports, Volume 5, Issue 5, pp. 92-114, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{douven_et_al:DagRep.5.5.92,
  author =	{Douven, Igor and Kern-Isberner, Gabriele and Knauff, Markus and Prade, Henri},
  title =	{{Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)}},
  pages =	{92--114},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Douven, Igor and Kern-Isberner, Gabriele and Knauff, Markus and Prade, Henri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.92},
  URN =		{urn:nbn:de:0030-drops-54033},
  doi =		{10.4230/DagRep.5.5.92},
  annote =	{Keywords: uncertain reasoning; commonsense reasoning; rational reasoning; conditionals; nonmonotonic logics; belief revision; similarity-based reasoning: case-based, interpolative, extrapolative, and analogical reasoning; reasoning on time, space, and causality; abductive reasoning; semantical framework}
}
Document
DOI: 10.4230/DagRep.5.5.115
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)

Authors: Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund

Abstract
Over two and half days, over 30 participants engaged in inventing and evaluating programming and software engineering tools from a human rather than tool perspective. We discussed methods, theories, recruitment, research questions, and community issues such as methods training and reviewing. This report is a summary of the key insights generated in the workshop.
Cite as

Andrew J. Ko, Shriram Krishnamurthi, Gail C. Murphy, and Janet Siegmund. Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). In Dagstuhl Reports, Volume 5, Issue 5, pp. 115-132, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{ko_et_al:DagRep.5.5.115,
  author =	{Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet},
  title =	{{Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)}},
  pages =	{115--132},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{5},
  editor =	{Ko, Andrew J. and Krishnamurthi, Shriram and Murphy, Gail C. and Siegmund, Janet},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.5.115},
  URN =		{urn:nbn:de:0030-drops-54049},
  doi =		{10.4230/DagRep.5.5.115},
  annote =	{Keywords: Software engineering, developer tools, human factors}
}

Filters

  • Authors
  • B
  • Birkedal, Lars
  • C
  • Casati, Roberto
  • Cavanagh, Patrick
  • D
  • Doerr, Benajmin
  • Douven, Igor
  • Dreyer, Derek
  • G
  • Gardner, Philippa
  • H
  • Hansen, Nikolaus
  • Hauptmann, Alexander G.
  • Hodson, James
  • I
  • Igel, Christian
  • K
  • Kern-Isberner, Gabriele
  • Knauff, Markus
  • Ko, Andrew J.
  • Krishnamurthi, Shriram
  • L
  • Li, Juanzi
  • M
  • Murphy, Gail C.
  • P
  • Prade, Henri
  • R
  • Rettinger, Achim
  • S
  • Santos, Paulo E.
  • Sebe, Nicu
  • Shao, Zhong
  • Siegmund, Janet
  • T
  • Thiele, Lothar

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact