2917 search results - page 483 / 584 » Language Acquisition As Learning |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
MLMI
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
UM
2005
Springer
14 years 3 months ago
2005
Springer
The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Pseudo feedback is a commonly used technique to improve information retrieval performance. It assumes a few top-ranked documents to be relevant, and learns from them to improve th...