204 search results - page 13 / 41 » aim 1998 |
HT
1998
ACM
14 years 26 days ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...
ICFP
1998
ACM
14 years 26 days ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
CC
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
COBUILD
1998
Springer
14 years 26 days ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
ECAI
1998
Springer
14 years 26 days ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...