6719 search results - page 1013 / 1344 » A Generalization of Automatic Sequences |
221
click to vote
ISVC
2009
Springer
16 years 2 months ago
2009
Springer
Image segmentation techniques are predominately based on parameter-laden optimization processes. The segmentation objective function traditionally involves parameters (i.e. weights...
176
Voted
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
188
click to vote
NOSSDAV
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
189
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
203
click to vote
SAGT
2009
Springer
16 years 2 months ago
2009
Springer
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...