4767 search results - page 712 / 954 » Structures for Abstract Rewriting |
ERCIMDL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Information Services are fundamental blocks of the Grid infrastructure. They are responsible for collecting and distributing information about resource availability and s...
103
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
115
Voted
FSKD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a novel classification algorithm, called geometrical probability covering (GPC) algorithm, to improve classification ability. On the basis of ...
HIPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...