中文
相关论文

相关论文: Proceedings of eNTERFACE 2015 Workshop on Intellig…

200 篇论文

This paper presents the design, objectives, experiences, and results of an international cooperation project funded by the European Commission in the context of the Erasmus Intensive Programme (IP, for short) designed to improve students'…

计算机与社会 · 计算机科学 2024-03-26 Martin Mellado , Eduardo Vendrell , Filomena Ferrucci , Andrea Abate , Detlef Zuhlke , Bernard Riera

Large Language Models have become widely adopted tools due to their versatile capabilities, yet their user interfaces remain limited, often following rigid, linear interaction paradigms. In this paper, we present insights from a design…

人机交互 · 计算机科学 2025-08-27 Maximilian Frank , Simon Lund

These are the proceedings of the 5th workshop on Machine Learning for the Developing World (ML4D), held as part of the Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS) on December 14th, 2021.

This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…

计算机科学中的逻辑 · 计算机科学 2021-01-11 Claudio Sacerdoti Coen , Alwen Tiu

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

形式语言与自动机理论 · 计算机科学 2025-07-21 Nelma Moreira , Luca Prigioniero

This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM'19, the 3rd World Congress on Formal…

软件工程 · 计算机科学 2019-12-23 Rosemary Monahan , Virgile Prevosto , Jose Proença

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

计算机科学中的逻辑 · 计算机科学 2011-11-01 Herman Geuvers , Gopalan Nadathur

This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS…

计算机科学中的逻辑 · 计算机科学 2011-01-24 Elaine Pimentel , Betti Venneri , Joe Wells

This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working…

量子物理 · 物理学 2015-11-05 Chris Heunen , Peter Selinger , Jamie Vicary

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was…

计算复杂性 · 计算机科学 2018-07-30 Michael Cuffaro , Philippos Papayannopoulos

The workshop is affiliated with 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2024) August 26~30, 2023 / Pasadena, CA, USA. It is designed as a half-day event, extending over four hours from 9:00 to…

机器人学 · 计算机科学 2024-10-14 Yuchong Zhang , Elmira Yadollahi , Yong Ma , Di Fu , Iolanda Leite , Danica Kragic

This volume contains the papers accepted at the 1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), held in Paderborn, Germany, May 29-30, 2014. Racing 2014 was co-located with the IEEE European Test…

分布式、并行与集群计算 · 计算机科学 2014-05-12 Frank Hannig , Jürgen Teich

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper…

编程语言 · 计算机科学 2013-10-16 Marco Carbone , Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova

This work aims to connect the Automotive User Interfaces (Auto-UI) and Conversational User Interfaces (CUI) communities through discussion of their shared view of the future of automotive conversational user interfaces. The workshop aims to…

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

计算机科学中的逻辑 · 计算机科学 2015-09-29 Nathalie Bertrand , Mirco Tribastone

The monograph summarizes and analyzes the current state of scientific research in the field of interactive artificial intelligence systems, text generation systems, diagnostics of the competitiveness of specialists, in the areas of correct…

Humans are talented with the ability to perform diverse interactions in the teaching process. However, when humans want to teach AI, existing interactive systems only allow humans to perform repetitive labeling, causing an unsatisfactory…

人机交互 · 计算机科学 2022-09-07 Zhongyi Zhou

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

计算机科学中的逻辑 · 计算机科学 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri