Sciweavers

41 search results - page 5 / 9
» Automatic Preposition Errors Correction Using Inductive Lear...
Sort
View
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 5 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
DAS
2004
Springer
14 years 1 months ago
Automatic Fax Routing
Abstract. We present a system for automatic FAX routing which processes incoming FAX images and forwards them to the correct email alias. The system first performs optical charact...
Paul A. Viola, James Rinker, Martin Law
LREC
2008
183views Education» more  LREC 2008»
13 years 9 months ago
Active Annotation in the LUNA Italian Corpus of Spontaneous Dialogues
In this paper we present an active approach to annotate with lexical and semantic labels an Italian corpus of conversational human-human and Wizard-of-Oz dialogues. This procedure...
Christian Raymond, Kepa Joseba Rodriguez, Giuseppe...
AIED
2007
Springer
14 years 1 months ago
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
Noboru Matsuda, William W. Cohen, Jonathan Sewall,...
EWCBR
2004
Springer
14 years 1 months ago
Learning Feature Taxonomies for Case Indexing
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...
Kalyan Moy Gupta, David W. Aha, Philip G. Moore