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

Filter your results

40 results
Page :
sorted by
Image document

State Complexity of Simple Splicing

 Lila Kari , Timothy Ng
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.197-209, ⟨10.1007/978-3-030-23247-4_15⟩
Conference papers hal-02387296v1

Human-Computer Interaction – INTERACT 2019

 David Lamas , Fernando Loizides , Lennart E. Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books hal-02544612v1
Image document

Survivable Virtual Network Embedding

 Muntasir Raihan Rahman , Issam Aib , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.40-52, ⟨10.1007/978-3-642-12963-6_4⟩
Conference papers hal-01056301v1
Image document

Privacy-Preserving Outlier Detection for Data Streams

 Jonas Böhler , Daniel Bernau , Florian Kerschbaum
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.225-238, ⟨10.1007/978-3-319-61176-1_12⟩
Conference papers hal-01684375v1
Image document

Recognition of a Robot’s Affective Expressions Under Conditions with Limited Visibility

 Moojan Ghafurian , Sami Alperen Akgun , Mark Crowley , Kerstin Dautenhahn
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.448-469, ⟨10.1007/978-3-030-85613-7_31⟩
Conference papers hal-04292361v1
Image document

A New Technique for Reachability of States in Concatenation Automata

 Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.75-87, ⟨10.1007/978-3-319-94631-3_7⟩
Conference papers hal-01905633v1
Image document

Measures of Model Interpretability for Model Selection

 André Carrington , Paul Fieguth , Helen Chen
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.329-349, ⟨10.1007/978-3-319-99740-7_24⟩
Conference papers hal-02060060v1
Image document

Non-interactive Private Decision Tree Evaluation

 Anselme Tueno , Yordan Boev , Florian Kerschbaum
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.174-194, ⟨10.1007/978-3-030-49669-2_10⟩
Conference papers hal-03243640v1
Image document

Empirical Evaluation of Moving Target Selection in Virtual Reality Using Egocentric Metaphors

 Yuan Chen , Junwei Sun , Qiang Xu , Edward Lank , Pourang Irani , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.29-50, ⟨10.1007/978-3-030-85610-6_3⟩
Conference papers hal-04215513v1
Image document

Leveraging CD Gain for Precise Barehand Video Timeline Browsing on Smart Displays

 Futian Zhang , Sachi Mizobuchi , Wei Zhou , Taslim Arefin Khan , Wei Li , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.72-91, ⟨10.1007/978-3-030-85610-6_5⟩
Conference papers hal-04215522v1
Image document

Global Scene Filtering, Exploration, and Pointing in Occluded Virtual Space

 Yuan Chen , Junwei Sun , Qiang Xu , Edward Lank , Pourang Irani , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.156-176, ⟨10.1007/978-3-030-85607-6_11⟩
Conference papers hal-04291272v1
Image document

Most Complex Non-returning Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.89-101, ⟨10.1007/978-3-319-60252-3_7⟩
Conference papers hal-01656998v1
Image document

Estimating the Perceived Difficulty of Pen Gestures

 Radu Daniel Vatavu , Daniel Vogel , Géry Casiez , Laurent Grisoni
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbonne, Portugal. pp.89-106, ⟨10.1007/978-3-642-23771-3_9⟩
Conference papers inria-00638385v1
Image document

Unrestricted State Complexity of Binary Operations on Regular Languages

 Janusz Brzozowski
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.60-72, ⟨10.1007/978-3-319-41114-9_5⟩
Conference papers hal-01633951v1

Human-Computer Interaction – INTERACT 2019

 David Lamas , Fernando Loizides , Lennart Nacke , Helen Petrie , Marco Winckler , et al.
Springer International Publishing, LNCS-11746, 2019, Lecture Notes in Computer Science, 978-3-030-29380-2. ⟨10.1007/978-3-030-29381-9⟩
Books hal-02544551v1

Human-Computer Interaction – INTERACT 2019

 David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11748, 2019, Lecture Notes in Computer Science
Books hal-02553855v1
Image document

HardIDX: Practical and Secure Index with SGX

 Ferdinand Brasser , Florian Hahn , Florian Kerschbaum , Ahmad-Reza Sadeghi , Benny Fuhry , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.386-408, ⟨10.1007/978-3-319-61176-1_22⟩
Conference papers hal-01684366v1
Image document

Emotion Elicitation Techniques in Virtual Reality

 Radiah Rivu , Ruoyu Jiang , Ville Mäkelä , Mariam Hassib , Florian Alt
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.93-114, ⟨10.1007/978-3-030-85623-6_8⟩
Conference papers hal-04329965v1
Image document

State Complexity of Single-Word Pattern Matching in Regular Languages

 Janusz A. Brzozowski , Sylvie Davies , Abhishek Madan
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.86-97, ⟨10.1007/978-3-030-23247-4_6⟩
Conference papers hal-02387297v1

Data and Applications Security and Privacy XXXII

 Florian Kerschbaum , Stefano Paraboschi
Springer International Publishing, LNCS-10980, 2018, Lecture Notes in Computer Science, 978-3-319-95728-9. ⟨10.1007/978-3-319-95729-6⟩
Books hal-01954400v1
Image document

Dynamic Service Placement in Shared Service Hosting Infrastructures

 Qi Zhang , Jin Xiao , Eren Gürses , Martin Karsten , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.251-264, ⟨10.1007/978-3-642-12963-6_20⟩
Conference papers hal-01056307v1
Image document

Square, Power, Positive Closure, and Complementation on Star-Free Languages

 Sylvie Davies , Michal Hospodár
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩
Conference papers hal-02387295v1
Image document

Searchable Encryption to Reduce Encryption Degradation in Adjustably Encrypted Databases

 Florian Kerschbaum , Martin Härterich
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.325-336, ⟨10.1007/978-3-319-61176-1_18⟩
Conference papers hal-01684354v1
Image document

Exploring How Saliency Affects Attention in Virtual Reality

 Radiah Rivu , Ville Mäkelä , Mariam Hassib , Yomna Abdelrahman , Florian Alt
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.147-155, ⟨10.1007/978-3-030-85607-6_10⟩
Conference papers hal-04291187v1
Image document

Loop Freedom in AODVv2

 Kedar S. Namjoshi , Richard J. Trefler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.98-112, ⟨10.1007/978-3-319-19195-9_7⟩
Conference papers hal-01767329v1
Image document

Generalized de Bruijn Words and the State Complexity of Conjugate Sets

 Daniel Gabric , Štěpán Holub , Jeffrey Shallit
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.137-146, ⟨10.1007/978-3-030-23247-4_10⟩
Conference papers hal-02387301v1
Image document

Topology-Awareness and Reoptimization Mechanism for Virtual Network Embedding

 Nabeel Farooq Butt , Mosharaf Chowdhury , Raouf Boutaba
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.27-39, ⟨10.1007/978-3-642-12963-6_3⟩
Conference papers hal-01056302v1
Image document

Comparing Local and Central Differential Privacy Using Membership Inference Attacks

 Daniel Bernau , Jonas Robl , Philip W. Grassal , Steffen Schneider , Florian Kerschbaum
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.22-42, ⟨10.1007/978-3-030-81242-3_2⟩
Conference papers hal-03677033v1
Image document

Mobility Prediction Based Neighborhood Discovery in Mobile Ad Hoc Networks

 Xu Li , Nathalie Mitton , David Simplot-Ryl
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.241-253, ⟨10.1007/978-3-642-20757-0_19⟩
Conference papers inria-00598976v1
Image document

Social Companion Robots to Reduce Isolation: A Perception Change Due to COVID-19

 Moojan Ghafurian , Colin Ellard , Kerstin Dautenhahn
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.43-63, ⟨10.1007/978-3-030-85616-8_4⟩
Conference papers hal-04196848v1
Page :