Sciweavers

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