5473 search results - page 736 / 1095 » On the graph isomorphism problem |
152
click to vote
CSCLP
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents an attempt to construct a ”practical” CSP algorithm that assigns a variable with 2 values at every step. Such a strategy has been successfully used for cons...
155
click to vote
APN
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
177
click to vote
ICCSA
2004
Springer
16 years 3 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...
148
click to vote
SSPR
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
166
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...