11016 search results - page 711 / 2204 » Cloud Computing for Science |
150
click to vote
GI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract: Aktuelle Innovationen der Informations- und Kommunikationstechnologie (IuK), wie sie etwa unter den Schlagworten ortsbasierte Dienste bzw. intelligente Handlungsumgebunge...
215
click to vote
ENC
2004
IEEE
15 years 11 months ago
2004
IEEE
Finding accurate information on the web has become a challenge due to the increment in the number of documents available on line. Current search engines retrieve relevant document...
148
click to vote
FOCS
2004
IEEE
15 years 11 months ago
2004
IEEE
We investigate the feasibility of a variety of cryptographic tasks with imperfect randomness. The kind of imperfect randomness we consider are entropy sources, such as those consi...
178
click to vote
FOCS
2004
IEEE
15 years 11 months ago
2004
IEEE
We devise a new embedding technique, which we call measured descent, based on decomposing a metric space locally, at varying speeds, according to the density of some probability m...
179
click to vote
CSR
2006
Springer
15 years 11 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 ...