Sciweavers

14165 search results - page 485 / 2833
» The generalized two-server problem
Sort
View
ASIACRYPT
2004
Springer
16 years 10 days ago
Generic Homomorphic Undeniable Signatures
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
Jean Monnerat, Serge Vaudenay
SPAA
2003
ACM
16 years 5 days ago
The complexity of verifying memory coherence
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
Jason F. Cantin, Mikko H. Lipasti, James E. Smith
FCT
2003
Springer
16 years 4 days ago
Operations Preserving Recognizable Languages
Abstract. Given a subset S of N, filtering a word a0a1 · · · an by S consists in deleting the letters ai such that i is not in S. By a natural generalization, denote by L[S], w...
Jean Berstel, Luc Boasson, Olivier Carton, Bruno P...
FOCS
2002
IEEE
15 years 12 months ago
Graph Isomorphism is in SPP
We show that Graph Isomorphism is in the complexity class SPP, and hence it is in āŠ•P (in fact, it is in ModkP for each k ≄ 2). We derive this result as a corollary of a more g...
Vikraman Arvind, Piyush P. Kurur
ICANN
2001
Springer
15 years 11 months ago
Sparse Kernel Regressors
Sparse kernel regressors have become popular by applying the support vector method to regression problems. Although this approach has been shown to exhibit excellent generalization...
Volker Roth