4378 search results - page 589 / 876 » On the Complexity of Ordered Colourings |
162
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
151
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
172
click to vote
HIPC
2003
Springer
15 years 12 months ago
2003
Springer
Many complex real-time applications involve combined scheduling of hard and soft real-time tasks. In this paper, we propose a combined scheduling algorithm, called Emergency Algori...
169
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...
176
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
In this work we propose a hierarchical approach for labeling semantic objects and regions in scenes. Our approach is reminiscent of early vision literature in that we use a decompo...