5752 search results - page 982 / 1151 » Informative Labeling Schemes |
AIED
2009
Springer
14 years 4 months ago
2009
Springer
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
APNOMS
2009
Springer
14 years 4 months ago
2009
Springer
Applications in wireless sensor networks (WSNs) experience the routing hole problem. That is, the current node cannot forward to the destination, although it is the closest node, b...
ICIAR
2009
Springer
14 years 4 months ago
2009
Springer
Face hallucination is to reconstruct a high-resolution face image from a low-resolution one based on a set of high- and low-resolution training image pairs. This paper proposes an ...
ICMI
2009
Springer
14 years 4 months ago
2009
Springer
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...