103 Hits in 7.5 sec

Global Measurements: Practice and Experience (Dagstuhl Seminar 16012)

Vaibhav Bajpai, Arthur W. Berger, Philip Eardley, Jörg Ott, Jürgen Schönwälder, Marc Herbstritt
2016 Dagstuhl Reports  
Ethics in Data Sharing (Dagstuhl Seminar 14052).  ...  This seminar (#16012) was a followup of the Dagstuhl seminar on Global Measurement Frameworks (#13472) [7].  ... 
doi:10.4230/dagrep.6.1.15 dblp:journals/dagstuhl-reports/BajpaiBEOS16 fatcat:4k7xzypurzgdtbx5b657xwazve

Electronic Markets and Auctions (Dagstuhl Seminar 13461) Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462) Synchronous Programming (Dagstuhl Seminar 13471) Global Measurement Framework (Dagstuhl Seminar 13472) Unleashing Operational Process Mining (Dagstuhl Seminar 13481) Forensic Computing (Dagstuhl Seminar 13482)

Saul Greenberg, Kasper Hornbaek, Aaron Quigley, Harald Reiterer, Roman, Yishay Mansour, Benny Moldovanu, Noam Nisan, Berthold, Hans Kamp, Alessandro Lenci, James (+14 others)
2013 unpublished
The seminar can be seen as a good starting point to identify the role of Proxemics in Human-Computer Interaction.  ...  Two EC FP7 research projects, Leone and mPlane, kindly supported the social event of the seminar.  ...  The topic of forensic computing, however, is also gaining importance in the academic community, and at Dagstuhl: In February 2014, a seminar on "Digital Evidence and Forensic Readiness" (Dagstuhl Seminar  ... 

Reinforcement Learning (Dagstuhl Seminar 13321) The Critical Internet Infrastructure (Dagstuhl Seminar 13322) Coding Theory (Dagstuhl Seminar 13351) Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352)

Peter Auer, Marcus Hutter, Laurent, Georg Carle, Jochen Schiller, Steve Uhlig, Walter Willinger, Matthias Wählisch, Thore Husfeldt, Ramamohan Paturi, Gregory Sorkin, Ryan Williams (+14 others)
David: There are indeed grand challenges in the IEEE area. Yet, we need to be cautious. Mark: Progress in the field will require multidisciplinary.  ...  We gratefully acknowledge the Dagstuhl staff for helping on all administrative coordination, for their patience, and most importantly for providing an extremely inspiring environment.  ...  Several open problems from previous Dagstuhl Seminars (seminars 08431 and 10441) have been resolved.  ... 

Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Verifying Reliability (Dagstuhl Seminar 12341) Engineering Multiagent Systems (Dagstuhl Seminar 122342)

Goetz Graefe, Wey Guy, Harumi Kuno, Glenn, Christopher Clifton, Bart Kuijpers, Katharina Morik, Yucel Saygin, Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy (+5 others)
2012 unpublished
We further extend our gratitude to the seminar organizers and the Dagstuhl staff for bringing us all together and making this seminar a very pleasant experience.  ...  Acknowledgements We would like to thank all participants of the Dagstuhl Seminar on Mobility Data Mining and Privacy for stimulating discussions, valuable input, and feedback.  ...  At the 2010 Dagstuhl seminar, seminar attendees explored a number of different ways in which to define robustness.  ... 

Formal Foundations for Networking (Dagstuhl Seminar 15071) Holistic Scene Understanding (Dagstuhl Seminar 15081) Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082) Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)

Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco Visser, Nikolaj Bjørner, Nate Foster, Philip Godfrey, Pamela Zave, Yvonne Coady, James Kempf, Rick Mcgeer, Stefan Schmid (+12 others)
Participants The Dagstuhl Seminar on Distributed Cloud Computing was held Feb. 8-11, 2015. 22 researchers attended the multidisciplinary seminar from the areas of networking, cloud computing, distributed  ...  Why is distributed cloud computing different from classical work in distributed systems?  ...  Progress has been made on a number of open problems discussed at the preceding seminar in February 2013. We briefly highlight some of this work here. 1.  ... 

Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231) Virtual Realities (Dagstuhl Seminar 13241)

Jürgen Dix, Sven Hansson, Gabriele Kern-Isberner, Guillermo Simari, Sebastian Maneth, Gonzalo Navarro, Guido Brunnett, Sabine Coquillart, Robert Van Liere, Gregory, Andreas Harth, Craig Knoblock (+2 others)
2013 unpublished
Acknowledgement The seminar has been supported by ONR Global, grant N62909-13-1-C161.  ...  The author firmly believes in the applicability of the current web architecture in the extended industrial enterprise, and is looking forward to discuss and exchange views on the current trends, challenges  ...  Participants The Dagstuhl Seminar "Indexes and Computation over Compressed Structured Data" took place from June 2nd to 7th, 2013.  ... 

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101) Computational Geometry (Dagstuhl Seminar 11111) Computational Complexity of Discrete Problems (Dagstuhl Seminar 11121) Exploration and Curiosity in Robot Learning and Inference (Dagstuhl Seminar 11131)

Jürgen Dix, Wojtek Jamroga, Dov, Pankaj Agarwal, Kurt Mehlhorn, Monique, Martin Grohe, Michal Koucký, Rüdiger Reischuk, Dieter Van, Jeremy Wyatt, Peter Dayan (+2 others)
2011 unpublished
Dagstuhl seminars on computational geometry have been organized since 1990, lately in a two year rhythm.  ...  Many major results in computational geometry were first presented in Dagstuhl seminars, and interactions among the participants at these seminars have led to numerous new results in the field.  ...  Ground rewards for information types in a known distribution over future tasks. b. The notions of empowerment and compression are perfectly sufficient and efficient.  ... 

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Information Visualization-Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)

Sebastian Maneth, Helmut Seidl, Andreas Kerren, Helen Purchase, Matthew, Diego Calvanese, Sven Hartmann, Ernest, Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, Ziv
2013 unpublished
This talk reviews and discusses about the expressive power of higher-order tree grammars and transducers. In the literature, two major notions of "high-order" devices have been studied.  ...  We show, by fully utilizing the decomposition result, that the languages in OI-hierarchy are context-sensitive [3] .  ...  of Theory of Computing Systems in 2009.3.17 Panic Automata.  ... 

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011) Feature-Oriented Software Development (FOSD) (Dagstuhl Seminar 11021) Multimodal Music Processing (Dagstuhl Seminar 11041) Learning from the Past: Implications for the Future Internet and its Management? (Dagstuhl Seminar 11042) Sparse Representations and Efficient Sensing of Data (Dagstuhl Seminar 11051)

Hans Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell, Sven Apel, William Cook, Krzysztof Czarnecki, Oscar, Zhenjiang Hu, Andy Schürr, Perdita Stevens, James (+12 others)
2011 unpublished
The talk reviews joint work in progress with M.  ...  Last but not least, we heartily thank the Dagstuhl board for allowing us to organize this seminar, the Dagstuhl office for their great support in the organization process, and the entire Dagstuhl staff  ...  Discussion Groups and Further Challenges During the seminar we had three discussion groups. The outcome shall be briefly reviewed in the following three subsections.  ... 

Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Michael Philippsen, Pascal Felber, Michael Scott, J Eliot, Katrien De Moor, Markus Fiedler, Peter Reichl, Martín Varela, Salvatore Greco, Kathrin Klamroth, Joshua Knowles, Günter Rudolph (+13 others)
2015 unpublished
In the working group discussions in Dagstuhl, Ralph E. Steuer presented interesting visualization challenges. Carlos Henggeler Antunes and Carlos M.  ...  The research field of artificial and computational intelligence in games focuses on the wide variety of advanced computational techniques used to create, enhance, and improve the experiences of humans  ...  The recent trend in MOO consists in merging the interactive and evolutionary approaches (for reviews, see [2, 8, 3] ).  ... 

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) Computational Aspects of Fabrication (Dagstuhl Seminar 14361) Augmenting Human Memory-Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)

Michael Benedikt, Carsten Lutz, Thomas Ågotnes, Nils Bulling, Daniel Kroening, Thomas Reps, Sanjit Seshia, Aditya Thakur, Patrick Cousot, Daniel Kroening, Carsten Sinz, Marc Alexa (+7 others)
2014 Querying and Reasoning Under Expressive Constraints   unpublished
Todd Wareham This Dagstuhl Seminar on 'Resource-bounded Problem Solving' was a successor to Dagstuhl Seminar 11351: 'Computer Science & Problem Solving: New Foundations', held in August 2011, which was  ...  The Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools" was held concurrently with Dagstuhl Seminar 14351.  ...  Time permitting, I may also review topics in the design of masonry structures.  ... 

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511) Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, Martina Angela, Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh, James Cheney, Torsten Grust, Dimitrios (+4 others)
2014 unpublished
We would like to thank Jonathan Katz for his initial involvement in organizing the seminar and Matthew Hammer for his help in preparing this report. References  ...  Finally, we are interested in the question of whether the design cycle is an effective methodology to use in the development of these metrics, rather than just the evaluation.  ...  This work developed a new approach to achieving strong consistency in distributed systems while minimizing communication between nodes.  ... 

Network Attack Detection and Defense Early Warning Systems-Challenges and Perspectives (Dagstuhl Seminar 12061) Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071) Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081) Principles of Provenance (Dagstuhl Seminar 12091)

Georg Carle, Hervé Debar, Falko Dressler, Hartmut König, Rainer Koschke, Ira Baxter, Michael Conradt, James Cordy, Daniel Keim, Fabrice Rossi, Thomas Seidl, Michel Verleysen (+5 others)
2012 unpublished
Until recently, work on provenance has mostly taken place in relatively isolated parts of existing research communities, such as databases, scientific workflow-based distributed computing, or file systems  ...  Current research results of eight participating groups were published in special issue of the journal PIK 1/2012 which is especially devoted to this Dagstuhl seminar. 2.  ...  seminar for fruitful discussions. 4 Overview of Talks Computation Slices as (Universal) Provenance Umut A.  ... 

Report from Dagstuhl Seminar 11091 Packing and Scheduling Algorithms for

Klaus Jansen, Claire Mathieu, Hadas Shachnai, Neal Young, Klaus Jansen, Claire Mathieu, Hadas Shachnai, Neal License, Klaus Jansen, Claire Mathieu, Hadas Shachnai, Neal Young (+4 others)
Inform. and Comm. Services, Dagstuhl Reports   unpublished
From 27.02.2011 to 4.03.2011, the Dagstuhl Seminar 11091 "Packing and Scheduling Algorithms for Information and Communication Services" was held in Schloss Dagstuhl Leibniz Center for Informatics.  ...  Storage allocation in computer networks, cutting stock problems in various industries and production planning are only few of the applications of packing and scheduling.  ...  Young Following a brief review of the history of Lagrangian-relaxation algorithms, I will summarize recent results in the area in a concrete form that (hopefully) makes it easy to understand how to apply  ... 

Preference Modelling

Meltem Öztürk, Alexis Tsoukiàs, Philippe Vincke
2003 Dagstuhl Seminar Proceedings 04271 Preferences: Specification, Inference, Applications   unpublished
The concepts of thresholds and minimal representation are also introduced in this section.  ...  This paper provides the reader with a presentation of preference modelling fundamental notions as well as some recent results in this field.  ...  Dagstuhl Seminar Proceedings 04271 Preferences: Specification, Inference, Applications ABSTRACT This paper  ... 
« Previous Showing results 1 — 15 out of 103 results