Sciweavers

9455 search results - page 14 / 1891
» The Modelling Language Zinc
Sort
View
AAAI
2012
13 years 9 hour 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
ERLANG
2009
ACM
15 years 4 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund