Sciweavers

35 search results - page 2 / 7
» mfcs 2009
Sort
View
MFCS
2009
Springer
13 years 11 months ago
Constructing Brambles
Mathieu Chapelle, Frédéric Mazoit, I...
MFCS
2009
Springer
13 years 11 months ago
The Expressive Power of Binary Submodular Functions
Stanislav Zivný, David A. Cohen, Peter G. J...
MFCS
2009
Springer
13 years 11 months ago
Size and Energy of Threshold Circuits Computing Mod Functions
Let C be a threshold logic circuit computing a Boolean function MODm : {0, 1}n → {0, 1}, where n ≥ 1 and m ≥ 2. Then C outputs “0” if the number of “1”s in an input ...
Kei Uchizawa, Takao Nishizeki, Eiji Takimoto
MFCS
2009
Springer
13 years 11 months ago
FO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
Alexander Kartzow
MFCS
2009
Springer
13 years 11 months ago
On the Recognizability of Self-generating Sets
Let I be a finite set of integers and F be a finite set of maps of the form n → ki n + i with integer coefficients. For an integer base k ≥ 2, we study the k-recognizability ...
Tomi Kärki, Anne Lacroix, Michel Rigo