10271 search results - page 545 / 2055 » Computer Science |
177
click to vote
STACS
2010
Springer
15 years 4 months ago
2010
Springer
ABSTRACT. We study the maximum weight matching problem in the semi-streaming model, and improve on the currently best one-pass algorithm due to Zelke (Proc. STACS '08, pages 6...
173
click to vote
DLT
2009
15 years 4 months ago
2009
We show here how to construct a cellular automaton whose asymptotic set (the set of configurations it converges to) is maximally complex: it contains only configurations of maximal...
155
click to vote
DLT
2009
15 years 4 months ago
2009
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...
164
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...
159
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: At the end of the day, standards are made by the people in a working group of one of the various standards setting bodies (SSBs). That is, their believes, agendas, prejudices etc...