Filter your results
- 11
- 1
- 11
- 1
- 12
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 12
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 results
|
|
|
sorted by
|
|
|
Studying a Head Tracking Technique for First-Person-Shooter Games in a Home Setting14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.246-263, ⟨10.1007/978-3-642-40498-6_18⟩
Conference papers
hal-01510552v1
|
||
|
|
Robotic Emotion Monitoring for Mental Health Applications: Preliminary Outcomes of a Survey18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.481-485, ⟨10.1007/978-3-030-85607-6_62⟩
Conference papers
hal-04291213v1
|
||
|
|
Coalgebraic Methods in Computer ScienceSpringer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books
hal-01539886v1
|
||
|
|
Psi-Calculi Revisited: Connectivity and Compositionality39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.3-20, ⟨10.1007/978-3-030-21759-4_1⟩
Conference papers
hal-02313748v1
|
||
|
|
DeepVANet: A Deep End-to-End Network for Multi-modal Emotion Recognition18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.227-237, ⟨10.1007/978-3-030-85613-7_16⟩
Conference papers
hal-04292350v1
|
||
|
|
Duality for Instantial Neighbourhood Logic via Coalgebra15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.32-54, ⟨10.1007/978-3-030-57201-3_3⟩
Conference papers
hal-03232350v1
|
||
|
|
Physiological Indicators for User Trust in Machine Learning with Influence Enhanced Fact-Checking3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.94-113, ⟨10.1007/978-3-030-29726-8_7⟩
Conference papers
hal-02520035v1
|
||
|
|
Wands Are Magic: A Comparison of Devices Used in 3D Pointing Interfaces14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.512-519, ⟨10.1007/978-3-642-40477-1_32⟩
Conference papers
hal-01504906v1
|
||
|
|
Reasoning About Distributed Secrets37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.156-170, ⟨10.1007/978-3-319-60225-7_11⟩
Conference papers
hal-01658413v1
|
||
|
|
An Exploration of the Relationship Between Personality and Strategy Formation Using Market Farmer: Using a Bespoke Computer Game in Behavioural Research1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.311-323, ⟨10.1007/978-3-030-34644-7_25⟩
Conference papers
hal-03652032v1
|
||
|
|
Thumbs Up: 3D Gesture Input on Mobile Phones Using the Front Facing Camera14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.318-336, ⟨10.1007/978-3-642-40480-1_20⟩
Conference papers
hal-01501752v1
|
||
|
|
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.250-264, ⟨10.1007/978-3-662-44602-7_20⟩
Conference papers
hal-01402048v1
|