|
|
Finding Objects Faster in Dense Environments using a Projection Augmented Robotic Arm
Hind Gacem
,
Gilles Bailly
,
James R Eagan
,
Eric Lecolinet
Conference papers
hal-01447396v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Applicative Bisimulation and Quantum λ-Calculi
Ugo Dal Lago
,
Alessandro Rioli
Conference papers
hal-01231800v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications
Nuno Gaspar
,
Ludovic Henrio
,
Eric Madelaine
Conference papers
hal-01168757v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Glass+Skin: An Empirical Evaluation of the Added Value of Finger Identification to Basic Single-Touch Interaction on Touch Screens
Quentin Roy
,
Yves Guiard
,
Gilles Bailly
,
Éric Lecolinet
,
Olivier Rioul
,
et al.
Conference papers
hal-01202852v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Behavioural Theory for a π-calculus with Preorders
Daniel Hirschkoff
,
Jean-Marie Madiot
,
Xian Xu
Conference papers
hal-01246094v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Privacy in digital identity systems: models, assessment and user adoption
Armen Khatchatourov
,
Maryline Laurent
,
Claire Levallois-Barth
Conference papers
hal-01283997v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
Mila Dalla Preda
,
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|