English
Related papers

Related papers: Proceedings of the second "international Traveling…

200 papers

The iTWIST workshop series aim at fostering collaboration between international scientific teams for developing new theories, applications and generalizations of low-complexity models. These events emphasize dissemination of ideas through…

Information Theory · Computer Science 2018-12-21 Sandrine Anthoine , Yannick Boursier , Laurent Jacques

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

Logic in Computer Science · Computer Science 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the…

Logic in Computer Science · Computer Science 2013-02-14 Mohamed Faouzi Atig , Ahmed Rezine

This volume contains the proceedings of the second International Workshop on Interactions, Games and Protocols (IWIGP 2012). The workshop was held in Tallinn on March 25, 2012, as a satellite event of ETAPS 2012. The previous workshop took…

Computer Science and Game Theory · Computer Science 2012-02-21 Johannes Reich , Bernd Finkbeiner

The vision of HIPstIR is that early stage information retrieval (IR) researchers get together to develop a future for non-mainstream ideas and research agendas in IR. The first iteration of this vision materialized in the form of a three…

These are the proceedings of the First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), which took place on April 1, 2012 in Tallinn, Estonia, as a satellite event of the 15th European Joint Conferences on Theory and…

Data Structures and Algorithms · Computer Science 2012-10-24 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

These are the proceedings of the Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013), which took place on March 24, 2013 in Rome, Italy, as a satellite event of the 16th European Joint Conferences on Theory and…

Data Structures and Algorithms · Computer Science 2013-12-30 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a satellite workshop of CONCUR'09. The previous edition of ICE…

Logic in Computer Science · Computer Science 2009-12-07 Filippo Bonchi , Davide Grohmann , Paola Spoletini , Emilio Tuosto

With the advancement of information retrieval (IR) technologies, robustness is increasingly attracting attention. When deploying technology into practice, we consider not only its average performance under normal conditions but, more…

Information Retrieval · Computer Science 2025-03-25 Yu-An Liu , Haya Nachimovsky , Ruqing Zhang , Oren Kurland , Jiafeng Guo , Moshe Tennenholtz

This volume contains the proceedings of the 2nd International Workshop on Strategic Reasoning 2014 (SR 2014), held in Grenoble (France), April 5-6, 2014. The SR workshop aims to bring together researchers, possibly with different…

Computer Science and Game Theory · Computer Science 2014-04-03 Fabio Mogavero , Aniello Murano , Moshe Y. Vardi

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…

Logic in Computer Science · Computer Science 2010-11-30 Sibylle Fröschle , Frank D. Valencia

This paper reviews the challenge on Sparse Neural Rendering that was part of the Advances in Image Manipulation (AIM) workshop, held in conjunction with ECCV 2024. This manuscript focuses on the competition set-up, the proposed methods and…

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

Logic in Computer Science · Computer Science 2012-01-04 Jean-Yves Marion

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

This workshop invites researchers and practitioners to participate in exploring behavioral change support intelligent transportation applications. We welcome submissions that explore intelligent transportation systems (ITS), which interact…

Human-Computer Interaction · Computer Science 2017-11-01 Efthimios Bothos , Babis Magoutas , Brian Caulfield , Athena Tsirimpa , Maria Kamargianni , Panagiotis Georgakis , Gregoris Mentzas

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

Logic in Computer Science · Computer Science 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, The Netherlands, on July 17th, 2019, as part of STAF 2019…

Logic in Computer Science · Computer Science 2019-12-20 Rachid Echahed , Detlef Plump
‹ Prev 1 2 3 10 Next ›