4378 search results - page 247 / 876 » On the Complexity of Ordered Colourings |
190
click to vote
JCSS
2008
15 years 6 months ago
2008
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context...
131
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
214
click to vote
TCOS
2008
15 years 6 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
180
click to vote
TEC
2008
15 years 6 months ago
2008
Abstract--The complexity of the selection procedure of a genetic algorithm that requires reordering, if we restrict the class of the possible fitness functions to varying fitness f...
154
click to vote
JSW
2007
15 years 6 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...