3719 search results - page 80 / 744 » order 2010 |
AML
2010
13 years 10 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
EJC
2010
13 years 10 months ago
2010
We use group theory to construct infinite families of maps on surfaces which are invariant under Wilson's map operations of order 3 but not under the operations of order 2, s...
APAL
2010
13 years 10 months ago
2010
I use generic embeddings induced by generic normal measures on P() that can be forced to exist if is an indestructibly weakly compact cardinal. These embeddings can be used in or...
IMCSIT
2010
13 years 8 months ago
2010
We consider a scenario where an attacker is able to receive a stegosignal only over a Gaussian channel. But in order to provide security of this channel noise
COLING
2010
13 years 5 months ago
2010
Syntax based reordering has been shown to be an effective way of handling word order differences between source and target languages in Statistical Machine Translation (SMT) syste...