Published in: Dagstuhl Follow-Ups, Volume 1, Scientific Visualization: Advanced Concepts (2010)
Stefan Bruckner, M. Eduard Gröller, Klaus Mueller, Bernhard Preim, and Deborah Silver. Illustrative Focus+Context Approaches in Interactive Volume Visualization. In Scientific Visualization: Advanced Concepts. Dagstuhl Follow-Ups, Volume 1, pp. 136-162, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InCollection{bruckner_et_al:DFU.SciViz.2010.136, author = {Bruckner, Stefan and Gr\"{o}ller, M. Eduard and Mueller, Klaus and Preim, Bernhard and Silver, Deborah}, title = {{Illustrative Focus+Context Approaches in Interactive Volume Visualization}}, booktitle = {Scientific Visualization: Advanced Concepts}, pages = {136--162}, series = {Dagstuhl Follow-Ups}, ISBN = {978-3-939897-19-4}, ISSN = {1868-8977}, year = {2010}, volume = {1}, editor = {Hagen, Hans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.SciViz.2010.136}, URN = {urn:nbn:de:0030-drops-27023}, doi = {10.4230/DFU.SciViz.2010.136}, annote = {Keywords: Illustrative Visualization, Volumetric Data} }
Published in: Dagstuhl Seminar Proceedings, Volume 9051, Knowledge representation for intelligent music processing (2009)
Christian Fremerey, Meinard Mueller, and Michael Clausen. Towards Bridging the Gap between Sheet Music and Audio. In Knowledge representation for intelligent music processing. Dagstuhl Seminar Proceedings, Volume 9051, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{fremerey_et_al:DagSemProc.09051.8, author = {Fremerey, Christian and Mueller, Meinard and Clausen, Michael}, title = {{Towards Bridging the Gap between Sheet Music and Audio}}, booktitle = {Knowledge representation for intelligent music processing}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9051}, editor = {Eleanor Selfridge-Field and Frans Wiering and Geraint A. Wiggins}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09051.8}, URN = {urn:nbn:de:0030-drops-19651}, doi = {10.4230/DagSemProc.09051.8}, annote = {Keywords: Audio, sheet music, symbolic score, optical music recognition, music synchronization} }
Published in: Dagstuhl Seminar Proceedings, Volume 8131, Ontologies and Text Mining for Life Sciences : Current Status and Future Perspectives (2008)
Hans-Michael Mueller, Arun Rangarajan, Tracy K. Teal, Kimberly van Auken, Juancarlos Chan, and Paul W. Sternberg. Textpresso - an Information Retrieval and Extraction System for Biological Literature. In Ontologies and Text Mining for Life Sciences : Current Status and Future Perspectives. Dagstuhl Seminar Proceedings, Volume 8131, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{mueller_et_al:DagSemProc.08131.19, author = {Mueller, Hans-Michael and Rangarajan, Arun and Teal, Tracy K. and van Auken, Kimberly and Chan, Juancarlos and Sternberg, Paul W.}, title = {{Textpresso - an Information Retrieval and Extraction System for Biological Literature}}, booktitle = {Ontologies and Text Mining for Life Sciences : Current Status and Future Perspectives}, pages = {1--1}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8131}, editor = {Michael Ashburner and Ulf Leser and Dietrich Rebholz-Schuhmann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08131.19}, URN = {urn:nbn:de:0030-drops-15169}, doi = {10.4230/DagSemProc.08131.19}, annote = {Keywords: Information retrieval, literature search engine, information extraction, automated literature curation, semantic search, ontology,} }
Published in: OASIcs, Volume 4, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) (2006)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Open Access Series in Informatics (OASIcs), Volume 4, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hammond_et_al:OASIcs.WCET.2006.677, author = {Hammond, Kevin and Ferdinand, Christian and Heckmann, Reinhold and Dyckhoff, Roy and Hofman, Martin and Jost, Steffen and Loidl, Hans-Wolfgang and Michaelson, Greg and Pointon, Robert and Scaife, Norman and S\'{e}rot, Jocelyn and Wallace, Andy}, title = {{Towards Formally Verifiable WCET Analysis for a Functional Programming Language}}, booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)}, pages = {1--6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-03-3}, ISSN = {2190-6807}, year = {2006}, volume = {4}, editor = {Mueller, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.677}, URN = {urn:nbn:de:0030-drops-6773}, doi = {10.4230/OASIcs.WCET.2006.677}, annote = {Keywords: Worst-case execution time, functional programming, Hume, cost model, asynchronous, finite state machine} }
Feedback for Dagstuhl Publishing