Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
Previous stochastic approaches to generation do not include a tree-based representation of syntax. While this may be adequate or even advantageous for some applications, other app...
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...
We discuss the problems to be solved to develop a web-based vector field visualization system. Furthermore we present the system CurVis as one solution of these problems. As part ...
Uwe Rauschenbach, Holger Theisel, C. Perez Risquet...