643 search results - page 67 / 129 » tools 1998 |
HT
1998
ACM
14 years 2 months 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 2 months ago
1998
ACM
We present a purely functional implementation of the computational differentiation tools — the well known numeric (i.e., not symbolic) techniques which permit one to compute poin...
IUI
1998
ACM
14 years 2 months ago
1998
ACM
Vig a construction schedule helps planners to identity potential construction problems prior to actual building construction. Planners must envision the sequence of construction, ...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
CAISE
1998
Springer
14 years 2 months ago
1998
Springer
The distribution of the German government between Bonn and Berlin calls for the technical support for the collaborative document-based tasks performed by inter- and intra-minister...