3145 search results - page 40 / 629 » Algebraic Linear Orderings |
106
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
Cryptographic Boolean functions must be complex to satisfy Shannon's principle of confusion. But the cryptographic viewpoint on complexity is not the same as in circuit compl...
95
Voted
ORDER
2008
15 years 15 days ago
2008
For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (...
100
click to vote
ENTCS
2010
15 years 19 days ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
102
Voted
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
We investigate how stack filter function classes like weighted order statistics can be applied to classification problems. This leads to a new design criteria for linear classifie...
92
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...