Sciweavers

9455 search results - page 14 / 1891
» The Modelling Language Zinc
Sort
View
AAAI
2012
13 years 6 months ago
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
Young Chol Song, Henry A. Kautz
101
Voted
ERLANG
2009
ACM
15 years 10 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund