3208 search results - page 496 / 642 » A Lower Bound for Primality |
171
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
137
click to vote
DNA
2007
Springer
16 years 20 days ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
140
click to vote
DRM
2007
Springer
16 years 20 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
198
click to vote
ESCAPE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In the online capacitated interval coloring problem, a sequence of requests arrive online. Each of the requests is an interval Ij ⊆ {1, 2, . . . , n} with bandwidth bj....
159
click to vote
GBRPR
2007
Springer
16 years 20 days ago
2007
Springer
Segmentation algorithms based on an energy minimisation framework often depend on a scale parameter which balances a fit to data and a regularising term. Irregular pyramids are de...