973 search results - page 26 / 195 » Arguing Using Opponent Models |
AH
2008
Springer
14 years 1 months ago
2008
Springer
Adaptive hypermedia systems can alleviate information overload on the Web by personalising the delivery of resources to the user. These systems are however afflicted with difficu...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
GI
2001
Springer
14 years 1 days ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
IDL
1994
13 years 9 months ago
1994
Large softwaresystemsrequiredecompositionalmechanismsinorder tomake themtractable. Traditionally, MILs and IDLs have played this role by providing notations based on definition/us...
UM
2007
Springer
14 years 1 months ago
2007
Springer
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...