9532 search results - page 49 / 1907 » Logic, Graphs, and Algorithms |
SODA
2003
ACM
15 years 13 days ago
2003
ACM
CSL
2008
Springer
15 years 26 days ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
TCS
2008
14 years 11 months ago
2008
We investigate the structure of graphs in the Caucal hierarchy. We provide criteria concerning the degree of vertices or the length of paths which can be used to show that a given ...
EVOW
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes a new Ant Colony Optimization (ACO) algorithm for solving Graph Matching Problems, the goal of which is to find the best matching between vertices of multi-la...
JGAA
2010
14 years 9 months ago
2010