2354 search results - page 389 / 471 » Radio number for trees |
147
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
159
click to vote
EUROGP
2007
Springer
16 years 13 days ago
2007
Springer
The ability of Genetic Programming to scale to problems of increasing difficulty operates on the premise that it is possible to capture regularities that exist in a problem environ...
167
click to vote
EUROPAR
2007
Springer
16 years 13 days ago
2007
Springer
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
177
click to vote
FASE
2007
Springer
16 years 13 days ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...
147
click to vote
FMCAD
2007
Springer
16 years 13 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...