8903 search results - page 17 / 1781 » Alternative |
ARITH
2003
IEEE
15 years 2 months ago
2003
IEEE
We define a new class of parallel counters, Saturating Counters, which provide the exact count of the inputs that are 1 only if this count is below a given threshold. Such counte...
106
click to vote
AIML
2008
14 years 11 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
74
Voted
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...
73
Voted
JCT
2006
14 years 9 months ago
2006
We define a bijection that transforms an alternating sign matrix A with one -1 into a pair (N, E) where N is a (so called) neutral alternating sign matrix (with one -1) and E is an...
74
Voted
MOC
2002
14 years 9 months ago
2002
It is well-known, that the ring C[X1, . . . , Xn]An of polynomial invariants of the alternating group An has no finite SAGBI basis with respect to the lexicographical order for any...