A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Synchronous Programming (Dagstuhl Seminar 13471)
2014
Dagstuhl Reports
Preserved Fulltext
This report is a summary of the Dagstuhl Seminar 13471 "Synchronous Programming", which took place during November 18-22, 2013, and which was the 20 th edition of the yearly workshop of the synchronous ...
The report contains the abstracts of the presentations given during the seminar in addition to the documents provided by the participants on the web pages of the seminar 1 . ...
One starts at Barcelona and travels at 50 km/hr toward Girona-a distance of 100 km. The other starts at Girona and travels at 50 km/hr toward Barcelona. ...
doi:10.4230/dagrep.3.11.117
dblp:journals/dagstuhl-reports/EdwardsGS13
fatcat:b7aq6w2q4fawjjqtlfleujr3gi
Planning and Operations Research (Dagstuhl Seminar 18071)
2018
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 18071 "Planning and Operations Research". ...
choice of actions from a large space of possibilities. ...
In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp. 750-756, 2017. 5 Ga Wu, Buser Say, and Scott Sanner. ...
doi:10.4230/dagrep.8.2.26
dblp:journals/dagstuhl-reports/BeckMRH18
fatcat:lavt5jfujfarfmtwrpbbxan2oq
Quantum Programming Languages (Dagstuhl Seminar 18381)
2019
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
the outcomes of Dagstuhl Seminar 18381 "Quantum Programming Languages". ...
This report documents the program and the outcomes of Dagstuhl Seminar 18381 "Quantum Programming Languages", which brought together researchers from quantum computing and classical programming languages ...
Nevertheless, quantum computing has made enormous progress during the last years, so much that we even have a Dagstuhl seminar on quantum programming languages. ...
doi:10.4230/dagrep.8.9.112
dblp:journals/dagstuhl-reports/MoscaRS18
fatcat:gisydgsvrbefhjg3bf444vqk6u
Ambient Notification Environments (Dagstuhl Seminar 17161)
2017
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In our time, numerous personal computing devices and applications vie for limited attention, racing to deliver large amounts of information to us. ...
This is based on the presentations and activities conducted during the seminar. ...
My aim when coming to the Dagstuhl Seminar 17161 -Ambient Notification Environments, was to pick up the topic where Doris Hausen had stopped. ...
doi:10.4230/dagrep.7.4.38
dblp:journals/dagstuhl-reports/ChuangGK017
fatcat:h3z66743i5aqpb7sqli5wbxd6y
Scalability in Multiobjective Optimization (Dagstuhl Seminar 20031)
2020
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
MO with many variables and large amounts of data. ...
The Dagstuhl Seminar 20031 Scalability in Multiobjective Optimization carried on a series of six previous Dagstuhl Seminars (04461, 06501, 09041, 12041, 15031 and 18031) that were focused on Multiobjective ...
of the previous seminars in this series for setting us up for success; and thanks to all the participants, who worked hard and were amiable company all week. ...
doi:10.4230/dagrep.10.1.52
dblp:journals/dagstuhl-reports/FonsecaKRW20
fatcat:aicmczzbtjftdkjbry2m5nulge
Bridging Information Visualization with Machine Learning (Dagstuhl Seminar 15101)
2015
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 15101 "Bridging Information Visualization with Machine Learning". ...
This seminar is a successor to Dagstuhl seminar 12081 "Information Visualization, Visual Data Mining and Machine Learning" held in 2012. ...
With the advent of big data and distributed sensors, data sets and analysis tasks become ever more complex: data sources are heterogeneous, data are distributed, and massive volumes have to be addressed ...
doi:10.4230/dagrep.5.3.1
dblp:journals/dagstuhl-reports/KeimMRV15
fatcat:tkowwfgn5baonczdk24lus5sea
Automated Planning and Model Checking (Dagstuhl Seminar 14482)
2015
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 14482 "Automated Planning and Model Checking". ...
Seminar November 23-28, 2014 -http://www.dagstuhl.de/14482 In the area of formal methods, model checking deals with the problem of fully-automated property validation and correctness verification. ...
The general aim of this Dagstuhl Seminar was to increase the synergy between the two research communities. ...
doi:10.4230/dagrep.4.11.227
dblp:journals/dagstuhl-reports/CimattiEFMP14
fatcat:ukc75llezvg2jevqaytqouvzje
Values in Computing (Dagstuhl Seminar 19291)
2019
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This seminar aims to examine the complex relations between values, computing technologies and society. ...
License Creative Commons BY 3.0 Unported license © The purpose of Dagstuhl Seminar 1929 'Values in Computing' was to bring together practitioners and researchers with expertise stretching beyond computer ...
The group found this change of the nature and value of a technology often happens in the so called "social discourse" where technology is presented for the rights and wrongs of society. ...
doi:10.4230/dagrep.9.7.40
dblp:journals/dagstuhl-reports/BeckerEFFF19
fatcat:qxhtdgcvvjd5ji6evhobrqmelu
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)
2018
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 17381 "Recent Trends in Knowledge Compilation". ...
M.; Liberatore, P.; and Schaerf, M. 2002.Preprocessing of intractable problems.Information and Computation 176(2):89-120. 2 Chen, H. 2005.Parameterized compilability.In Proceedings of IJCAI 2005, the 19th ...
Our experiments show that the algorithm improves upon central quality measures over the underlying tree decompositions, and is able to produce a large number of high-quality decompositions. ...
doi:10.4230/dagrep.7.9.62
dblp:journals/dagstuhl-reports/DarwicheMSS17
fatcat:gitzmlyoxjaapcyjhtpsaqxs3e
Towards Accountable Systems (Dagstuhl Seminar 18181)
2018
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 18181 "Towards Accountable Systems", which took place from April 29th to May 4th, 2018, at Schloss Dagstuhl -Leibniz Center for Informatics ...
This report summarises outcomes of the seminar by highlighting key future research directions and challenges that lie on the path to developing systems that better align with accountability concerns. ...
the privacy, and attest to integrity of code and data processing in the cloud. ...
doi:10.4230/dagrep.8.4.126
dblp:journals/dagstuhl-reports/EyersMSS18
fatcat:tq55oh7h75djvhokv4dq3gfpiy
Symbolic Methods in Testing (Dagstuhl Seminar 13021)
2013
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 13021 "Symbolic Methods in Testing". ...
The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, ...
Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), LNCS, Volume 3440, pages 349-364, Edinburgh (Scottland), April 2005. 3 N. Bertrand, T. Jéron, A. ...
doi:10.4230/dagrep.3.1.1
dblp:journals/dagstuhl-reports/JeronVW13
fatcat:qg6wp73g6jejbg6xsmysn574dy
Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximativ (Dagstuhl Seminar 18421)
2019
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The principal goals of our Dagstuhl seminar were to increase the visibility of algorithmic enumeration within (Theoretical) Computer Science and to contribute to establishing it as an area of "Algorithms ...
This report documents the program and the outcomes of Dagstuhl Seminar 18421 "Algorithmic Enumeration: Output-sensitive, Input-Sensitive, Parameterized, Approximative". ...
fields of Computer Science were invited. In particular, researchers who are interested in Parameterized Complexity and different aspects of counting problems were participating in the seminar. ...
doi:10.4230/dagrep.8.10.63
dblp:journals/dagstuhl-reports/FernauGS18
fatcat:dwb3bv2onzanvgh6ucxh6atswm
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)
2015
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". ...
License Creative Commons BY 3.0 Unported license © Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli Modern systems are often structured as complex, multi-layered networks of interconnected ...
, there have been two significant outcomes of the Dagstuhl Seminar and the Working Group on Humans-in-the-Loop in particular. ...
doi:10.4230/dagrep.4.12.68
dblp:journals/dagstuhl-reports/HillstonPWZ14
fatcat:65ubygwg6zht3pdl4mgynl2knq
Integrating Process-Oriented and Event-Based Syste (Dagstuhl Seminar 16341)
2017
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report documents the programme and the outcomes of Dagstuhl Seminar 16341 on "Integrating Process-Oriented and Event-Based Systems", which took place August 21-26, 2016, at Schloss Dagstuhl -Leibniz ...
This report summarises the outcomes of the seminar by reviewing the state-of-the-art and outlining research challenges on the intersection of process-oriented and event-based systems. ...
We have begun to explore the options of combining process approaches in combination with complex event processing techniques.
-Integrating ...
doi:10.4230/dagrep.6.8.21
dblp:journals/dagstuhl-reports/EyersGJW16
fatcat:axbbv7hntfewvbbahau7d364nm
Beyond-Planar Graphs: Algorithmics and Combinatorics (Dagstuhl Seminar 16452)
2017
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This report summarizes Dagstuhl Seminar 16452 "Beyond-Planar Graphs: Algorithmics and Combinatorics" and documents the talks and discussions. ...
The seminar brought together 29 researchers in the areas of graph theory, combinatorics, computational geometry, and graph drawing. ...
During this Dagstuhl Seminar, we studied inclusion relationships between the hierarchies of k-planar graphs and of k-quasi planar graphs. ...
doi:10.4230/dagrep.6.11.35
dblp:journals/dagstuhl-reports/Hong0KP16
fatcat:gmft5jywxbapza52lhj4o23ngq
« Previous
Showing results 1 — 15 out of 236 results