Filters








236 Hits in 8.0 sec

Synchronous Programming (Dagstuhl Seminar 13471)

Stephen A. Edwards, Alain Girault, Klaus Schneider, Marc Herbstritt
2014 Dagstuhl Reports  
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)

J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan Van Hoeve, Michael Wagner
2018 Dagstuhl Reports  
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)

Michele Mosca, Martin Roetteler, Peter Selinger, Michael Wagner
2019 Dagstuhl Reports  
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)

Lewis Chuang, Sven Gehring, Judy Kay, Albrecht Schmidt, Marc Herbstritt
2017 Dagstuhl Reports  
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)

Carlos M. Fonseca, Kathrin Klamroth, Günter Rudolph, Margaret M. Wiecek
2020 Dagstuhl Reports  
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)

Daniel A. Keim, Tamara Munzner, Fabrice Rossi, Michael Verleysen, Marc Herbstritt
2015 Dagstuhl Reports  
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)

Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku, Marc Herbstritt
2015 Dagstuhl Reports  
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)

Christoph Becker, Gregor Engels, Andrew Feenberg, Maria Angela Ferrario, Geraldine Fitzpatrick, Michael Wagner
2019 Dagstuhl Reports  
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)

Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider, Marc Herbstritt
2018 Dagstuhl Reports  
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)

David Eyers, Christopher Millard, Margo Seltzer, Jatinder Singh, Michael Wagner
2018 Dagstuhl Reports  
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)

Thierry Jéron, Margus Veanes, Burkhart Wolff, Marc Herbstritt
2013 Dagstuhl Reports  
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)

Henning Fernau, Petr. A. Golovach, Marie-France Sagot, Michael Wagner
2019 Dagstuhl Reports  
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)

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Marc Herbstritt
2015 Dagstuhl Reports  
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)

David Eyers, Avigdor Gal, Hans-Arno Jacobsen, Matthias Weidlich, Marc Herbstritt
2017 Dagstuhl Reports  
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)

Sok-Hee Hong, Michael Kaufmann, Stephen G. Kobourov, János Pach, Marc Herbstritt
2017 Dagstuhl Reports  
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