4930 search results - page 543 / 986 » Testing a Safety-Critical Application |
180
click to vote
AAAI
2006
15 years 9 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
185
click to vote
ACL
2006
15 years 9 months ago
2006
We evaluate the accuracy of an unlexicalized statistical parser, trained on 4K treebanked sentences from balanced data and tested on the PARC DepBank. We demonstrate that a parser...
233
click to vote
CADUI
2006
15 years 9 months ago
2006
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
189
click to vote
FLAIRS
2004
15 years 9 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
185
click to vote
FLAIRS
2004
15 years 9 months ago
2004
This paper presents a new approach for combining different semantic disambiguation methods that are part of a Word Sense Disambiguation(WSD) system. The way these methods are comb...