10271 search results - page 535 / 2055 » Computer Science |
154
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
170
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 ...
149
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
We study the combination of Kalman filter and a recently proposed algorithm for dynamically maintaining a sliding window, for learning from streams of examples. We integrate this i...
172
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
156
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...