Sciweavers

738 search results - page 94 / 148
» High-Performance Extensible Indexing
Sort
View
BIRTHDAY
2005
Springer
14 years 1 months ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
RT
2005
Springer
14 years 1 months ago
Non-linear Volume Photon Mapping
This paper describes a novel extension of the photon mapping algorithm, capable of handling both volume multiple inelastic scattering and curved light paths simultaneously. The ex...
Diego Gutierrez, Adolfo Muñoz, Oscar Anson,...
SIGMOD
1997
ACM
146views Database» more  SIGMOD 1997»
13 years 12 months ago
Concurrency and Recovery in Generalized Search Trees
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
Marcel Kornacker, C. Mohan, Joseph M. Hellerstein
PKC
2010
Springer
126views Cryptology» more  PKC 2010»
13 years 11 months ago
Multi-query Computationally-Private Information Retrieval with Constant Communication Rate
A fundamental privacy problem in the client-server setting is the retrieval of a record from a database maintained by a server so that the computationally bounded server remains ob...
Jens Groth, Aggelos Kiayias, Helger Lipmaa
ECML
1991
Springer
13 years 11 months ago
Learning by Analogical Replay in PRODIGY: First Results
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...
Manuela M. Veloso, Jaime G. Carbonell