23413 search results - page 4464 / 4683 » or 2005 |
179
click to vote
FSTTCS
2005
Springer
16 years 23 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
193
click to vote
GD
2005
Springer
16 years 23 days ago
2005
Springer
Visualizing and analyzing social networks is a challenging problem that has been receiving growing attention. An important first step, before analysis can begin, is ensuring that...
176
click to vote
GD
2005
Springer
16 years 23 days ago
2005
Springer
Consider a drawing of a graph G in the plane such that crossing edges are coloured differently. The minimum number of colours, taken over all drawings of G, is the classical graph...
202
click to vote
GD
2005
Springer
16 years 23 days ago
2005
Springer
The crossing number of a graph is the minimum number of edge intersections in a plane drawing of a graph, where each intersection is counted separately. If instead we count the nu...
207
click to vote
GECCO
2005
Springer
16 years 23 days ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...