Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

14 results
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1
Image document

Storytelling in Visual Analytics Tools for Business Intelligence

 Micheline Elias , Marie-Aude Aufaure , Anastasia Bezerianos
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers hal-00817732v2
Image document

Influence of Color and Size of Particles on Their Perceived Speed in Node-Link Diagrams

 Hugo Romat , Dylan Lebout , Emmanuel Pietriga , Caroline Appert
INTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.619-637, ⟨10.1007/978-3-030-29384-0_37⟩
Conference papers hal-02274134v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

 Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1
Image document

Redundancy and Collaboration in Wikibooks

 Ilaria Liccardi , Olivier Chapuis , Ching-Man Au Yeung , Wendy Mackay
Proceedings of the 13th International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.215-232, ⟨10.1007/978-3-642-23774-4_20⟩
Conference papers inria-00595516v2
Image document

Information-Theoretic Analysis of Human Performance for Command Selection

 Wanyu Liu , Olivier Rioul , Michel Beaudouin-Lafon , Yves Guiard
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.515-524, ⟨10.1007/978-3-319-67687-6_35⟩
Conference papers hal-01643924v1
Image document

PolemicTweet: Video Annotation and Analysis through Tagged Tweets

 Samuel Huron , Petra Isenberg , Jean-Daniel Fekete
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Heidelberg, Germany. pp.135-152, ⟨10.1007/978-3-642-40480-1_9⟩
Conference papers hal-00817591v1
Image document

Artificial Intelligence for Humankind: A Panel on How to Create Truly Interactive and Human-Centered AI for the Benefit of Individuals and Society

 Albrecht Schmidt , Fosca Giannotti , Wendy E. Mackay , Ben Shneiderman , Kaisa Väänänen
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.335-339, ⟨10.1007/978-3-030-85607-6_32⟩
Conference papers hal-03603481v1
Image document

Metrics for Differential Privacy in Concurrent Systems

 Lili Xu , Konstantinos Chatzikokolakis , Huimin Lin
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩
Conference papers hal-00879140v2
Image document

Implementing Open Call-by-Value

 Beniamino Accattoli , Giulio Guerrieri
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers hal-01675365v1
Image document

GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite Collaboration

 Khanh-Duy Le , Ignacio Avellino , Cédric Fleury , Morten Fjeld , Andreas Kunz
INTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers hal-02183386v1
Image document

Modeless Pointing with Low-Precision Wrist Movements

 Theophanis Tsandilas , Emmanuel Dubois , Mathieu Raynal
14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers hal-00821078v2
Image document

Boolean Networks: Beyond Generalized Asynchronicity

 Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers hal-01768359v2
Image document

One Fitts’ Law, Two Metrics

 Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers hal-01717202v1
Page :