3 search results - page 1 / 1 » Selection and Uniformization Problems in the Monadic Theory ... |
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
DATAMINE
2007
13 years 4 months ago
2007
We propose a novel context sensitive algorithm for evaluation of ordinal attributes which exploits the information hidden in ordering of attributes’ and class’ values and prov...
USS
2008
13 years 7 months ago
2008
We address the problem of auditing an election when precincts may have different sizes. Prior work in this field has emphasized the simpler case when all precincts have the same s...