Sciweavers

2625 search results - page 137 / 525
» Applications 2000
Sort
View
AAAI
2000
15 years 5 months ago
An Interval Algebra for Indeterminate Time
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...
Wes Cowley, Dimitris Plexousakis
AAAI
2000
15 years 5 months ago
An Iterative Algorithm for Synthesizing Invariants
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 ...
Jussi Rintanen
COLING
2000
15 years 5 months ago
Exploiting a Probabilistic Hierarchical Model for Generation
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...
Srinivas Bangalore, Owen Rambow
PDPTA
2000
15 years 5 months ago
Dependable High Performance Computing on a Parallel Sysplex Cluster
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...
Wolfgang Blochinger, Reinhard Bündgen, Andrea...
SIMVIS
2000
15 years 5 months ago
Vector Field Visualization on the Internet
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...