4767 search results - page 735 / 954 » Structures for Abstract Rewriting |
EUROPAR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
FOSSACS
2003
Springer
14 years 4 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
GECCO
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
GI
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The paper describes a set of approaches for representing and accessing information within a semantically structured information portal, while offering the possibility to ...
ICCBR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...