Sciweavers

3844 search results - page 63 / 769
» Modular interpreted systems
Sort
View
ACL
2010
14 years 10 months ago
The Impact of Interpretation Problems on Tutorial Dialogue
Supporting natural language input may improve learning in intelligent tutoring systems. However, interpretation errors are unavoidable and require an effective recovery policy. We...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
HOTOS
2003
IEEE
15 years 5 months ago
Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
Emmett Witchel, Krste Asanovic
ACMDIS
2006
ACM
15 years 5 months ago
Staying open to interpretation: engaging multiple meanings in design and evaluation
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
Phoebe Sengers, Bill Gaver
IJCAI
2003
15 years 1 months ago
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring
This paper describes a logic-based framework for interpretation of sequences of scenes captured by a stereo vision system of a mobile robot. An algorithm for anchoring and interpr...
Paulo Santos, Murray Shanahan
AIML
1998
15 years 1 months ago
Interpolation, Definability and Fixed Points in Interpretability Logics
In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolati...
Carlos Areces, Eva Hoogland, Dick de Jongh