643 search results - page 23 / 129 » tools 1998 |
IUI
1998
ACM
13 years 11 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
SPIESR
1998
13 years 9 months ago
1998
Abstract. Imaging applications such as filtering, image transforms and compression/decompression require vast amounts of computing power when applied to large data sets. These appl...
VISUALIZATION
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we present a distributed blackboard architecture for scientific visualzation. We discuss our motivation,design and applicationof the architecture. The main advantage...
ISSAC
1998
Springer
13 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
DAC
1998
ACM
13 years 11 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...