2597 search results - page 213 / 520 » On numbers of Davenport-Schinzel sequences |
ASAP
2006
IEEE
15 years 5 months ago
2006
IEEE
Parameterized static affine nested loop programs can be automatically converted to input-output equivalent Kahn Process Network specifications. These networks turn out to be close...
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
: A 2-coloring of a hypergraph is a mapping from its vertex set to a set of two colors such that no edge is monochromatic. Let H = H k n p be a random k-uniform hypergraph on a ver...
101
click to vote
EVOW
2010
Springer
15 years 5 months ago
2010
Springer
Divide-and-Evolve (DaE) is an original "memeticization" of Evolutionary Computation and Artificial Intelligence Planning. DaE optimizes either the number of actions, or t...
101
Voted
NAACL
2007
15 years 3 months ago
2007
Collecting supervised training data for automatic speech recognition (ASR) systems is both time consuming and expensive. In this paper we use the notion of virtual evidence in a g...
CCCG
2006
15 years 3 months ago
2006
In their paper on delineating boundaries from geographic data, Reinbacher et al. [9] use a recolouring method to reclassify points so that the boundaries that separate points of d...