3457 search results - page 362 / 692 » A Symbol Is Not a Symbol |
185
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
203
click to vote
ALGORITHMICA
1999
15 years 6 months ago
1999
We describe a coarse-grain parallel software system for the homogeneous solution of linear systems. Our solutions are symbolic, i.e., exact rather than numerical approximations. O...
152
click to vote
LOGCOM
2002
15 years 6 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
140
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--We find new families of nonbinary sequences of period 1 with symbols from a finite field for any prime 3. The sequences have two-level ideal autocorrelation and are gener...
109
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The classical sampling theorem for bandlimited functions has recently been generalized to apply to so-called bandlimited operators, that is, to operators with band-limite...