Issue
Dagstuhl Reports, Volume 2, Issue 4
-
Part of:
Volume:
Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2012-09-24
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports2
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue
Abstract
Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue
Cite as
Dagstuhl Reports, Volume 2, Issue 4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{DagRep.2.4,
title = {{Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4},
URN = {urn:nbn:de:0030-drops-37336},
doi = {10.4230/DagRep.2.4},
annote = {Keywords: Dagstuhl Reports, Volume 2, Issue 4, April 2012, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 2, Issue 4, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{DagRep.2.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4.i},
URN = {urn:nbn:de:0030-drops-37320},
doi = {10.4230/DagRep.2.4.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 4, 2012}
}
Document
Touching the 3rd Dimension (Dagstuhl Seminar 12151)
Abstract
In recent years interactive visualization of 3D data has become important and widespread due to the requirements of several application areas.
However, current user interfaces often lack adequate support for 3D interactions: 2D desktop systems are often limited in cases where natural interaction with 3D content is required, and 3D user interfaces consisting of stereoscopic projections and tracked input devices are rarely adopted by ordinary users. Touch interaction has received considerable attention for 2D interfaces, and more recently for 3D interfaces.
Many touch devices now support multiple degrees of freedom input by capturing multiple 2D contact positions on the surface as well as varying levels of pressure and even depth. There is great potential for multi-touch interfaces to provide the traditionally difficult to achieve combination of natural 3D interaction without any instrumentation. When combined with a stereoscopic display as well as depth cameras, we believe that multi-touch technology can form the basis for a next generation of 3D user interfaces. Several research groups have begun to explore the potential, limitations, and challenges of this and other 3D touch environments, and first commercial systems are already available.
The goal of the seminar "Touching the 3rd Dimension (T3D)" is to address the research and industrial challenges involved in exploring the space where the flat digital world of surface computing meets the physical, spatially complex, 3D space in which we live.
The seminar will provide a common forum to attract groups of conference attendees who share their visions of the future and recent results in the area of improving 3D interaction and visualization by taking advantage of the strengths of advanced multi-touch computing.
Cite as
Daniel Keefe, Antonio Krüger, Frank Steinicke, and Jean-Baptiste de la Rivière. Touching the 3rd Dimension (Dagstuhl Seminar 12151). In Dagstuhl Reports, Volume 2, Issue 4, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{keefe_et_al:DagRep.2.4.1,
author = {Keefe, Daniel and Kr\"{u}ger, Antonio and Steinicke, Frank and de la Rivi\`{e}re, Jean-Baptiste},
title = {{Touching the 3rd Dimension (Dagstuhl Seminar 12151)}},
pages = {1--20},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {4},
editor = {Keefe, Daniel and Kr\"{u}ger, Antonio and Steinicke, Frank and de la Rivi\`{e}re, Jean-Baptiste},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4.1},
URN = {urn:nbn:de:0030-drops-35946},
doi = {10.4230/DagRep.2.4.1},
annote = {Keywords: Multi-touch Technology, Stereoscopic Visualization, 3D User Interfaces}
}
Document
Software Synthesis (Dagstuhl Seminar 12152)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12152 ``Software Synthesis''. During the seminar, several participants presented
their current research, ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper.
The rise of multiprocesser computers and of software verification as applied
in industry combine to create an opportune moment for software synthesis.
To facilitate research in this area, research from several fields of Computer
Science presented tutorials on techniques they developed. This lead to (1) the definition of what challenges synthesis has to tackle in the future and (2) insights into how the several fields of synthesis are related.
Finally, several groups described their experience with teaching synthesis
to graduate and undergraduate students, demonstrating that synthesis is challenging for students but that they can also rise to the challenge and enjoy the field.
Cite as
Rastislav Bodík, Sumit Gulwani, and Eran Yahav. Software Synthesis (Dagstuhl Seminar 12152). In Dagstuhl Reports, Volume 2, Issue 4, pp. 21-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{bodik_et_al:DagRep.2.4.21,
author = {Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
title = {{Software Synthesis (Dagstuhl Seminar 12152)}},
pages = {21--38},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {4},
editor = {Bod{\'\i}k, Rastislav and Gulwani, Sumit and Yahav, Eran},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4.21},
URN = {urn:nbn:de:0030-drops-35956},
doi = {10.4230/DagRep.2.4.21},
annote = {Keywords: Software Synthesis, Verification and Model Checking, Theorem Proving, Program Analysis, Programming by Demonstration, Program Derivation, Compiler Optimization}
}
Document
Semantic Data Management (Dagstuhl Seminar 12171)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12171 "Semantic Data Management". The purpose of the seminar was to have a fruitful exchange of ideas between the semantic web, database systems and information retrieval communities, organised across four main themes: scalability, provenance, dynamicity and search. Relevant key questions cutting across all of these themes were: (i) how can existing DB and IR solutions be adapted to manage semantic data; and (ii) are there new challenges that arise for the DB and IR communities (i.e. are radically new techniques required)? The outcome was a deeper, more integrated understanding of the current state of the art on semantic data management and a the identification of a set of open challenges that will inform the three communities in this intersection.
Cite as
Grigoris Antoniou, Oscar Corcho, Karl Aberer, Elena Simperl, and Rudi Studer. Semantic Data Management (Dagstuhl Seminar 12171). In Dagstuhl Reports, Volume 2, Issue 4, pp. 39-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{antoniou_et_al:DagRep.2.4.39,
author = {Antoniou, Grigoris and Corcho, Oscar and Aberer, Karl and Simperl, Elena and Studer, Rudi},
title = {{Semantic Data Management (Dagstuhl Seminar 12171)}},
pages = {39--65},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {4},
editor = {Antoniou, Grigoris and Corcho, Oscar and Aberer, Karl and Simperl, Elena and Studer, Rudi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.4.39},
URN = {urn:nbn:de:0030-drops-35976},
doi = {10.4230/DagRep.2.4.39},
annote = {Keywords: Semantic data, Semantic Web, Linked Data, Large-scale data management, Dynamicity and stream processing, Provenance and access control, Information retrieval and ranking}
}