Sciweavers

12 search results - page 3 / 3
» Game Semantics for Quantum Stores
Sort
View
141
Voted
FOSSACS
2009
Springer
16 years 1 months 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
127
Voted
ROMAN
2007
IEEE
111views Robotics» more  ROMAN 2007»
16 years 25 days 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