Sciweavers

12 search results - page 3 / 3
» Game Semantics for Quantum Stores
Sort
View
FOSSACS
2009
Springer
14 years 2 days ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
ROMAN
2007
IEEE
111views Robotics» more  ROMAN 2007»
13 years 11 months ago
Understanding Rules in Human-Robot Instructions
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
Joerg C. Wolf, Guido Bugmann