1465 search results - page 73 / 293 » Making the Correct Mistakes |
ICAI
2004
15 years 1 months ago
2004
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
ANLP
2000
15 years 1 months ago
2000
This paper describes and evaluates a detector of presuppositions (DP) for survey questions. Incorrect presuppositions can make it difficult to answer a question correctly. Since t...
AAAI
1994
15 years 1 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
101
click to vote
APLAS
2010
ACM
15 years 3 days ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
BMCBI
2008
15 years 9 hour ago
2008
Background: Microarray technology has become very popular for globally evaluating gene expression in biological samples. However, non-linear variation associated with the technolo...