13306 search results - page 342 / 2662 » Theoretical Computer Science |
173
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
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 ...
158
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
In the last years, new semistatic word-based byte-oriented compressors, such as Plain and Tagged Huffman and the Dense Codes, have been used to improve the efficiency of text retri...
170
click to vote
ACSC
2001
IEEE
15 years 10 months ago
2001
IEEE
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
177
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
149
click to vote
RTA
2000
Springer
15 years 10 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...