Sciweavers

8669 search results - page 1246 / 1734
» Computing matrix representations
Sort
View
EUROPAR
2004
Springer
15 years 10 months ago
A Generic Parallel Pattern-Based System for Bioinformatics
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
Weiguo Liu, Bertil Schmidt
FSTTCS
2004
Springer
15 years 10 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
GD
2004
Springer
15 years 10 months ago
Visual Navigation of Compound Graphs
This paper describes a local update scheme for the algorithm of Sugiyama and Misue (IEEE Trans. on Systems, Man, and Cybernetics 21 (1991) 876–892) for drawing views of compound ...
Marcus Raitner
GECCO
2004
Springer
211views Optimization» more  GECCO 2004»
15 years 10 months ago
Node-Depth Encoding for Evolutionary Algorithms Applied to Network Design
Network design involves several areas of engineering and science. Computer networks, electrical circuits, transportation problems, and phylogenetic trees are some examples. In gene...
Alexandre C. B. Delbem, André Carlos Ponce ...
GRID
2004
Springer
15 years 10 months ago
Dynamic Service Evolution for Open Languages in the Grid and Service Oriented Architecture
Dynamic behavior is inherent in virtual organizations. Semantics has to be processed to manage dynamism and other properties like state, life cycle, faults, and others. In our pap...
Thomas Weishäupl, Erich Schikuta
« Prev « First page 1246 / 1734 Last » Next »