2031 search results - page 334 / 407 » On Tree-Constrained Matchings and Generalizations |
152
click to vote
ESA
2007
Springer
16 years 5 min ago
2007
Springer
We study the online ad-auctions problem introduced by Mehta et. al. [15]. We design a (1 − 1/e)competitive (optimal) algorithm for the problem, which is based on a clean primal-...
151
click to vote
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
150
click to vote
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
162
click to vote
GECCO
2007
Springer
15 years 12 months ago
2007
Springer
This paper introduces a continuous model for Multi-cellular Developmental Design. The cells are fixed on a 2D grid and exchange ”chemicals” with their neighbors during the gr...
154
click to vote
IBPRIA
2007
Springer
15 years 12 months ago
2007
Springer
We present a new method for the synchronization of a pair of video sequences and the spatial registration of all the temporally corresponding frames. This is a mandatory step to pe...