@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} } @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} } @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} } @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} } @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} } @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} } @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} }