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

Filter your results

757 results
Deposit type : Fulltext
Page :
sorted by
Image document

Pushdown Automata and Constant Height: Decidability and Bounds

 Giovanni Pighizzini , Luca Prigioniero
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers hal-02387302v1
Image document

Descriptional Complexity of Iterated Uniform Finite-State Transducers

 Martin Kutrib , Andreas Malcher , Carlo Mereghetti , Beatrice Palano
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.223-234, ⟨10.1007/978-3-030-23247-4_17⟩
Conference papers hal-02387284v1
Image document

Regular Expression Learning with Evolutionary Testing and Repair

 Paolo Arcaini , Angelo Gargantini , Elvinia Riccobene
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.22-40, ⟨10.1007/978-3-030-31280-0_2⟩
Conference papers hal-02526352v1
Image document

Workshop: Towards Inclusive Co-creation of Inclusive Games

 Franco Eusébio Garcia , Thomas Westin , Jérôme Dupire
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.485-488, ⟨10.1007/978-3-030-34644-7_50⟩
Conference papers hal-03652018v1
Image document

Effects of Menu Organization and Visibility on Web Navigation for People with Dyslexia

 Helen Petrie , Ili Mahtar
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.115-133, ⟨10.1007/978-3-030-29381-9_8⟩
Conference papers hal-02544571v1
Image document

Bubble Margin: Motion Sickness Prevention While Reading on Smartphones in Vehicles

 Alexander Meschtscherjakov , Sebastian Strumegger , Sandra Trösterer
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.660-677, ⟨10.1007/978-3-030-29384-0_39⟩
Conference papers hal-02544623v1
Image document

Developing a User Interface for an Ultrasound Device Designed for Midwives and General Health Practitioners Situated in Low Resource Nations and Communities

 Bassam Jabry , Karin Aue , John Chan , Jeffrey Koh
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.595-599, ⟨10.1007/978-3-030-29390-1_44⟩
Conference papers hal-02878647v1
Image document

A Human-Centred Business Scenario in SIoT – The Case of DANOS Framework

 Daniel Defiebre , Panagiotis Germanakos
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.579-583, ⟨10.1007/978-3-030-29390-1_41⟩
Conference papers hal-02878660v1
Image document

Proportional Fair Information Freshness Under Jamming

 Andrey Garnaev , Jing Zhong , Wuyang Zhang , Roy D. Yates , Wade Trappe
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.91-102, ⟨10.1007/978-3-030-30523-9_8⟩
Conference papers hal-02881744v1
Image document

Multi-level Engagement in Augmented Reality Children’s Picture Books

 Nicholas Vanderschantz , Annika Hinze , Aysha Al-Hashami
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.558-562, ⟨10.1007/978-3-030-29390-1_37⟩
Conference papers hal-02877657v1
Image document

Head Mounted Display Interaction Evaluation: Manipulating Virtual Objects in Augmented Reality

 Maite Frutos-Pascual , Chris Creed , Ian Williams
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.287-308, ⟨10.1007/978-3-030-29390-1_16⟩
Conference papers hal-02877682v1
Image document

PRTSM: Hardware Data Arrangement Mechanisms for Convolutional Layer Computation on the Systolic Array

 Shuquan Wang , Lei Wang , Shiming Li , Tian Shuo , Shasha Guo , et al.
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.69-81, ⟨10.1007/978-3-030-30709-7_6⟩
Conference papers hal-03770552v1
Image document

Smart Interactive Packaging as a Cyber-Physical Agent in the Interaction Design Theory: A Novel User Interface

 Justina Lydekaityte
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.687-695, ⟨10.1007/978-3-030-29381-9_41⟩
Conference papers hal-02544584v1
Image document

The Role of Computer Science Education for Understanding and Shaping the Digital Society

 Ralf Romeike
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.167-176, ⟨10.1007/978-3-030-28764-1_19⟩
Conference papers hal-02515750v1
Image document

ScaffoMapping: Assisting Concept Mapping for Video Learners

 Shan Zhang , Xiaojun Meng , Can Liu , Shengdong Zhao , Vibhor Sehgal , et al.
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.314-328, ⟨10.1007/978-3-030-29384-0_20⟩
Conference papers hal-02544599v1
Image document

A Review of the State-of-the-Art of Assistive Technology for People with ASD in the Workplace and in Everyday Life

 Lina J. Wali , Filippo Sanfilippo
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.520-532, ⟨10.1007/978-3-030-29374-1_42⟩
Conference papers hal-02510161v1
Image document

State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages

 Alexander Okhotin , Elizaveta Sazhneva
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.248-259, ⟨10.1007/978-3-030-23247-4_19⟩
Conference papers hal-02387287v1
Image document

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

 Hoang-Dung Tran , Luan Viet Nguyen , Patrick Musau , Weiming Xiang , Taylor T. Johnson
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.261-277, ⟨10.1007/978-3-030-21759-4_15⟩
Conference papers hal-02313744v1
Image document

Taming Hierarchical Connectors

 José Proença , Alexandre Madeira
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.186-193, ⟨10.1007/978-3-030-31517-7_13⟩
Conference papers hal-03769113v1
Image document

The UX Construct – Does the Usage Context Influence the Outcome of User Experience Evaluations?

 Andreas Sonderegger , Andreas Uebelbacher , Jürgen Sauer
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.140-157, ⟨10.1007/978-3-030-29390-1_8⟩
Conference papers hal-02877675v1
Image document

DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation

 Osvaldo Huerta-Guevara , Vanessa Ayala-Rivera , Liam Murphy , A. Omar Portillo-Dominguez
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.234-241, ⟨10.1007/978-3-030-31280-0_14⟩
Conference papers hal-02526344v1
Image document

FittsFarm: Comparing Children’s Drag-and-Drop Performance Using Finger and Stylus Input on Tablets

 Brendan Cassidy , Janet C. Read , I. Scott Mackenzie
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.656-668, ⟨10.1007/978-3-030-29387-1_38⟩
Conference papers hal-02553903v1
Image document

Two-Erasure Codes from 3-Plexes

 Liping Yi , Rebecca J. Stones , Gang Wang
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.264-276, ⟨10.1007/978-3-030-30709-7_21⟩
Conference papers hal-03770534v1
Image document

Augmented Reality Technology for Displaying Close-Proximity Sub-Surface Positions

 Kasper Hald , Matthias Rehm , Thomas B. Moeslund
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.641-659, ⟨10.1007/978-3-030-29384-0_38⟩
Conference papers hal-02544610v1
Image document

Computational Linguistics and Its Implementation in e-Learning Platforms

 Marcel Pikhart
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.634-640, ⟨10.1007/978-3-030-29374-1_51⟩
Conference papers hal-02510090v1
Image document

Give MEANinGS to Robots with Kitchen Clash: A VR Human Computation Serious Game for World Knowledge Accumulation

 Johannes Pfau , Robert Porzel , Mihai Pomarlan , Vanja Sophie Cangalovic , Supara Grudpan , et al.
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.85-96, ⟨10.1007/978-3-030-34644-7_7⟩
Conference papers hal-03652050v1
Image document

Avatars: The Other Side of Proteus’s Mirror

 Charly Harbord , Euan Dempster
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.412-416, ⟨10.1007/978-3-030-34644-7_37⟩
Conference papers hal-03652009v1
Image document

Proof Guidance in PVS with Sequential Pattern Mining

 M. Saqib Nawaz , Meng Sun , Philippe Fournier-Viger
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.45-60, ⟨10.1007/978-3-030-31517-7_4⟩
Conference papers hal-03769130v1
Image document

Active Learning of Industrial Software with Data

 Lisette Sanchez , Jan Friso Groote , Ramon Schiffelers
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-030-31517-7_7⟩
Conference papers hal-03769114v1
Image document

Faster and Less Error-Prone: Supplementing an Accessible Keyboard with Speech Input

 Bhakti Bhikne , Anirudha Joshi , Manjiri Joshi , Charudatta Jadhav , Prabodh Sakhardande
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.288-304, ⟨10.1007/978-3-030-29381-9_18⟩
Conference papers hal-02544545v1
Page :