Dagstuhl Reports, Volume 1, Issue 4



Thumbnail PDF

Event

Dagstuhl Seminars 11141, 11142, 11151, 11171, 11172

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 1, Issue 4, April 2011, Complete Issue

Abstract
Dagstuhl Reports, Volume 1, Issue 4, April 2011, Complete Issue

Cite as

Dagstuhl Reports, Volume 1, Issue 4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{DagRep.1.4,
  title =	{{Dagstuhl Reports, Volume 1, Issue 4, April 2011, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4},
  URN =		{urn:nbn:de:0030-drops-32110},
  doi =		{10.4230/DagRep.1.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 1, Issue 4, April 2011, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 1, Issue 4, 2011

Abstract
Table of Contents, Frontmatter

Cite as

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


Copy BibTex To Clipboard

@Article{DagRep.1.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 1, Issue 4, 2011}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.i},
  URN =		{urn:nbn:de:0030-drops-32066},
  doi =		{10.4230/DagRep.1.4.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Plan Recognition (Dagstuhl Seminar 11141)

Authors: Robert P. Goldman, Christopher W. Geib, Henry Kautz, and Tamim Asfour


Abstract
This Dagstuhl seminar brought together researchers with a wide range of interests and backgrounds related to plan and activity recognition. It featured a substantial set of longer tutorials on aspects of plan and activity recognition, and related topics and useful methods, as a way of establishing a common vocabulary and shared basis of understanding. Building on this shared understanding, individual researchers presented talks about their work in the area. There were also panel discussions which addressed questions about how to best foster progress in the field --- specifically how to improve our ability to compare different plan and activity recognition algorithms --- and address the question of whether to assume rationality in the modeled agents (a question that is of great concern in many fields at this time). This report presents a summary of the talks and discussions at the seminar.

Cite as

Robert P. Goldman, Christopher W. Geib, Henry Kautz, and Tamim Asfour. Plan Recognition (Dagstuhl Seminar 11141). In Dagstuhl Reports, Volume 1, Issue 4, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{goldman_et_al:DagRep.1.4.1,
  author =	{Goldman, Robert P. and Geib, Christopher W. and Kautz, Henry and Asfour, Tamim},
  title =	{{Plan Recognition (Dagstuhl Seminar 11141)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Goldman, Robert P. and Geib, Christopher W. and Kautz, Henry and Asfour, Tamim},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.1},
  URN =		{urn:nbn:de:0030-drops-31958},
  doi =		{10.4230/DagRep.1.4.1},
  annote =	{Keywords: Artificial intelligence, plan recognition, intent recognition, activity recognition}
}
Document
Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142)

Authors: Michael Breuß, Alfred M. Bruckstein, and Petros Maragos


Abstract
This report documents the program and the results of Dagstuhl Seminar 11142 "Innovations for Shape Analysis: Models and Algorithms", taking place April 3-8 in 2011. The focus of the seminar was to discuss modern and emerging topics in shape analysis by researchers from different scientific communities, as there is no conference specifically devoted to this field.

Cite as

Michael Breuß, Alfred M. Bruckstein, and Petros Maragos. Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142). In Dagstuhl Reports, Volume 1, Issue 4, pp. 23-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{breu_et_al:DagRep.1.4.23,
  author =	{Breu{\ss}, Michael and Bruckstein, Alfred M. and Maragos, Petros},
  title =	{{Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142)}},
  pages =	{23--40},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Breu{\ss}, Michael and Bruckstein, Alfred M. and Maragos, Petros},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.23},
  URN =		{urn:nbn:de:0030-drops-31966},
  doi =		{10.4230/DagRep.1.4.23},
  annote =	{Keywords: Shape analysis, mathematical morphology, shape reconstruction, numerical computing, level set methods, fast marching methods}
}
Document
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Authors: Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, and Corrado Priami


Abstract
This report documents the program and the outcomes of the Seminar 11151 `Formal Methods in Molecular Biology' that took place in Dagstuhl, Germany, on 10--15 Apr 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The participants formed 5 teams that worked on selected case studies. Two teams were awarded prizes, for their efforts in analyzing and further elucidating published biological models.

Cite as

Rainer Breitling, Adelinde M. Uhrmacher, Frank J. Bruggeman, and Corrado Priami. Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). In Dagstuhl Reports, Volume 1, Issue 4, pp. 41-64, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{breitling_et_al:DagRep.1.4.41,
  author =	{Breitling, Rainer and Uhrmacher, Adelinde M. and Bruggeman, Frank J. and Priami, Corrado},
  title =	{{Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)}},
  pages =	{41--64},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Breitling, Rainer and Uhrmacher, Adelinde M. and Bruggeman, Frank J. and Priami, Corrado},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.41},
  URN =		{urn:nbn:de:0030-drops-31975},
  doi =		{10.4230/DagRep.1.4.41},
  annote =	{Keywords: Bioinformatics, systems biology, formal modeling, computational biology, stochastic, model, simulation, checking, verification, abstraction, petri nets, process algebra}
}
Document
Challenges in Document Mining (Dagstuhl Seminar 11171)

Authors: Hamish Cunningham, Norbert Fuhr, and Benno M. Stein


Abstract
This report documents the programme and outcomes of the Dagstuhl Seminar 11171 "Challenges in Document Mining". Our starting point was the observation that document mining techniques are often applied in an isolated manner, with the consequence that their potential is still to be fully realised. The goal of the seminar was to analyze this untapped potential. To this end researchers from the main areas of document mining were invited to present their views, to synthesise an understanding of where and how the latest disciplinary achievements can be combined, and to develop a more integrative view on the state of the art and the prospects for future progress.

Cite as

Hamish Cunningham, Norbert Fuhr, and Benno M. Stein. Challenges in Document Mining (Dagstuhl Seminar 11171). In Dagstuhl Reports, Volume 1, Issue 4, pp. 65-99, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{cunningham_et_al:DagRep.1.4.65,
  author =	{Cunningham, Hamish and Fuhr, Norbert and Stein, Benno M.},
  title =	{{Challenges in Document Mining (Dagstuhl Seminar 11171)}},
  pages =	{65--99},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Cunningham, Hamish and Fuhr, Norbert and Stein, Benno M.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.65},
  URN =		{urn:nbn:de:0030-drops-31987},
  doi =		{10.4230/DagRep.1.4.65},
  annote =	{Keywords: Cluster analysis, HCI, Retrieval models, Social mining and search, Semi-supervised learning}
}
Document
Artificial Immune Systems (Dagstuhl Seminar 11172)

Authors: Emma Hart, Thomas Jansen, and Jon Timmis


Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 11172 ``Artificial Immune Systems''. The purpose of the seminar was to bring together researchers from the areas of immune-inspired computing, theoretical computer science, randomised search heuristics, engineering, swarm intelligence and computational immunology in a highly interdisciplinary seminar to discuss two main issues: first, how to best develop a more rigorous theoretical framework for algorithms inspired by the immune system and second, to discuss suitable application areas for immune-inspired systems and how best to exploit the properties of those algorithms.

Cite as

Emma Hart, Thomas Jansen, and Jon Timmis. Artificial Immune Systems (Dagstuhl Seminar 11172). In Dagstuhl Reports, Volume 1, Issue 4, pp. 100-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{hart_et_al:DagRep.1.4.100,
  author =	{Hart, Emma and Jansen, Thomas and Timmis, Jon},
  title =	{{Artificial Immune Systems (Dagstuhl Seminar 11172)}},
  pages =	{100--111},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{4},
  editor =	{Hart, Emma and Jansen, Thomas and Timmis, Jon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.4.100},
  URN =		{urn:nbn:de:0030-drops-32004},
  doi =		{10.4230/DagRep.1.4.100},
  annote =	{Keywords: Artificial Immune Systems, Randomised Search Heuristics}
}

Filters


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