Sciweavers

4403 search results - page 262 / 881
» Galois Theory of Algorithms
Sort
View
CSR
2006
Springer
15 years 10 months ago
SZK Proofs for Black-Box Group Problems
In this paper we classify several algorithmic problems in group theory in the classes PZK and SZK (problems with perfect/statistical zero-knowledge proofs respectively). Prior to ...
Vikraman Arvind, Bireswar Das
SSWMC
2004
15 years 8 months ago
Kernel Fisher discriminant for steganalysis of JPEG hiding methods
The use of kernel Fisher discriminants is used to detect the presence of JPEG based hiding methods. The feature vector for the kernel discriminant is constructed from the quantize...
Jeremiah J. Harmsen, William A. Pearlman
AUTOMATICA
2007
81views more  AUTOMATICA 2007»
15 years 6 months ago
Modelling TCP congestion control dynamics in drop-tail environments
In this paper we study communication networks that employ drop-tail queueing and additive-increase multiplicative-decrease (AIMD) congestion control algorithms. We show that the t...
Robert Shorten, Chris King, Fabian Wirth, Douglas ...
IPL
2008
82views more  IPL 2008»
15 years 6 months ago
A note on the distribution of the number of prime factors of the integers
The Chernoff-Hoeffding bounds are fundamental probabilistic tools. An elementary approach is presented to obtain a Chernoff-type upper-tail bound for the number of prime factors o...
Aravind Srinivasan
JSC
2008
72views more  JSC 2008»
15 years 6 months ago
Flat matching
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
Temur Kutsia