4074 search results - page 467 / 815 » Abstract Graph Transformation |
181
click to vote
ICCSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The problems of optimizing the network structure by the reliability criteria is discussed. The networks with absolutely reliable nodes and unreliable edges are considered...
192
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In recent years different genetic programming (GP) structures have emerged. Today, the basic forms of representation for genetic programs are tree, linear and graph stru...
163
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...
187
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
201
click to vote
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Virtual reality is used as a novel tool for behavioral experiments on humans. Two environments, Hexatown and Virtual Tubingen, are presented. Experiments on cognitive map...