Sciweavers

772 search results - page 12 / 155
» Creating and analysing models in IBM Task Modeler
Sort
View
AAAI
2007
13 years 9 months ago
Continuous State POMDPs for Object Manipulation Tasks
My research focus is on using continuous state partially observable Markov decision processes (POMDPs) to perform object manipulation tasks using a robotic arm. During object mani...
Emma Brunskill
AAAI
2004
13 years 8 months ago
VModel: A Visual Qualitative Modeling Environment for Middle-School Students
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
Kenneth D. Forbus, Karen Carney, Bruce L. Sherin, ...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 28 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
IJMMS
2006
71views more  IJMMS 2006»
13 years 7 months ago
Supporting knowledge-intensive inspection tasks with application ontologies
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...
Nicole J. J. P. Koenderink, Jan L. Top, Lucas J. v...
ACL
2010
13 years 5 months ago
Incorporating Extra-Linguistic Information into Reference Resolution in Collaborative Task Dialogue
This paper proposes an approach to reference resolution in situated dialogues by exploiting extra-linguistic information. Recently, investigations of referential behaviours involv...
Ryu Iida, Syumpei Kobayashi, Takenobu Tokunaga