@Article{DagRep.3.11, title = {{Dagstuhl Reports, Volume 3, Issue 11, November 2013, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11}, URN = {urn:nbn:de:0030-drops-45127}, doi = {10.4230/DagRep.3.11}, annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 11, November 2013, Complete Issue} } @Article{DagRep.3.11.i, title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 11, 2013}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.i}, URN = {urn:nbn:de:0030-drops-45114}, doi = {10.4230/DagRep.3.11.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{muller_et_al:DagRep.3.11.1, author = {M\"{u}ller, Meinard and Narayanan, Shrikanth S. and Schuller, Bj\"{o}rn}, title = {{Computational Audio Analysis (Dagstuhl Seminar 13451)}}, pages = {1--28}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {M\"{u}ller, Meinard and Narayanan, Shrikanth S. and Schuller, Bj\"{o}rn}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.1}, URN = {urn:nbn:de:0030-drops-44346}, doi = {10.4230/DagRep.3.11.1}, annote = {Keywords: Audio Analysis, Signal Processing, Machine Learning, Sound, Speech, Music, Affective Computing} } @Article{greenberg_et_al:DagRep.3.11.29, author = {Greenberg, Saul and Honbaek, Kasper and Quigley, Aaron and Reiterer, Harald and R\"{a}dle, Roman}, title = {{Proxemics in Human-Computer Interaction (Dagstuhl Seminar 13452)}}, pages = {29--57}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Greenberg, Saul and Honbaek, Kasper and Quigley, Aaron and Reiterer, Harald and R\"{a}dle, Roman}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.29}, URN = {urn:nbn:de:0030-drops-44363}, doi = {10.4230/DagRep.3.11.29}, annote = {Keywords: Proxemics, Proxemic Interactions, theory, vision, technology, application, distance, orientation, location, identity, movement, dark patterns} } @Article{mansour_et_al:DagRep.3.11.58, author = {Mansour, Yishay and Moldovanu, Benny and Nisan, Noam and V\"{o}cking, Berthold}, title = {{Electronic Markets and Auctions (Dagstuhl Seminar 13461)}}, pages = {58--78}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Mansour, Yishay and Moldovanu, Benny and Nisan, Noam and V\"{o}cking, Berthold}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.58}, URN = {urn:nbn:de:0030-drops-44379}, doi = {10.4230/DagRep.3.11.58}, annote = {Keywords: Algorithmic game theory, mechanism design, economics, electronic markets} } @Article{kamp_et_al:DagRep.3.11.79, author = {Kamp, Hans and Lenci, Alessandro and Pustejovsky, James}, title = {{Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462)}}, pages = {79--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Kamp, Hans and Lenci, Alessandro and Pustejovsky, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.79}, URN = {urn:nbn:de:0030-drops-44380}, doi = {10.4230/DagRep.3.11.79}, annote = {Keywords: formal semantics, distributional semantics, polysemy, inference, compositionality, Natural Language Processing, meaning in context} } @Article{edwards_et_al:DagRep.3.11.117, author = {Edwards, Stephen A. and Girault, Alain and Schneider, Klaus}, title = {{Synchronous Programming (Dagstuhl Seminar 13471)}}, pages = {117--143}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Edwards, Stephen A. and Girault, Alain and Schneider, Klaus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.117}, URN = {urn:nbn:de:0030-drops-44395}, doi = {10.4230/DagRep.3.11.117}, annote = {Keywords: Synchronous Languages, Hybrid Systems, Formal Verification, Models of Computation, WCET-Analysis, Embedded Systems} } @Article{eardley_et_al:DagRep.3.11.144, author = {Eardley, Philip and Mellia, Marco and Ott, J\"{o}rg and Sch\"{o}nw\"{a}lder, J\"{u}rgen and Schulzrinne, Henning}, title = {{Global Measurement Framework (Dagstuhl Seminar 13472)}}, pages = {144--153}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Eardley, Philip and Mellia, Marco and Ott, J\"{o}rg and Sch\"{o}nw\"{a}lder, J\"{u}rgen and Schulzrinne, Henning}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.144}, URN = {urn:nbn:de:0030-drops-44401}, doi = {10.4230/DagRep.3.11.144}, annote = {Keywords: Internet measurements, Quality of experience, Network management, Traffic engineering} } @Article{accorsi_et_al:DagRep.3.11.154, author = {Accorsi, Rafael and Damiani, Ernesto and van der Aalst, Wil}, title = {{Unleashing Operational Process Mining (Dagstuhl Seminar 13481)}}, pages = {154--192}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Accorsi, Rafael and Damiani, Ernesto and van der Aalst, Wil}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.154}, URN = {urn:nbn:de:0030-drops-44417}, doi = {10.4230/DagRep.3.11.154}, annote = {Keywords: Process mining, Big data, Conformance checking} } @Article{freiling_et_al:DagRep.3.11.193, author = {Freiling, Felix C. and Hornung, Gerrit and Polc\'{a}k, Radim}, title = {{Forensic Computing (Dagstuhl Seminar 13482)}}, pages = {193--208}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {3}, number = {11}, editor = {Freiling, Felix C. and Hornung, Gerrit and Polc\'{a}k, Radim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.11.193}, URN = {urn:nbn:de:0030-drops-44426}, doi = {10.4230/DagRep.3.11.193}, annote = {Keywords: practical experience in forensics and law; applied forensic computing} }