-
Trust Evaluation through Human-Machine Dialogue Modelling
International audience -
Implementing Proof by Pointing without a Structure Editor
A proof by pointing user interface component allows a user to direct the course of a proof assistant by selecting terms with a mouse. Such a gesture is interpreted as... -
Conducting Preliminary Design Around an Interactive Tabletop
International audience
