1695 search results - page 101 / 339 » Linear, Polynomial or Exponential |
154
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We propose an information–theoretic approach to the watermark embedding and detection under limited detector resources. First, we present asymptotically optimal decision regions...
128
click to vote
AUTOMATICA
2000
15 years 4 months ago
2000
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...
133
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We solve an open problem posed by Eppstein in 1995 [14, 15] and re-enforced by Grohe [16, 17] concerning locally bounded treewidth in minor-closed families of graphs. A graph has ...
143
click to vote
DCC
2002
IEEE
16 years 4 months ago
2002
IEEE
This contribution is concerned with a generalization of Itoh and Tsujii's algorithm for inversion in extension fields GF(qm ). Unlike the original algorithm, the method introd...