Sciweavers

3865 search results - page 509 / 773
» From Bidirectionality to Alternation
Sort
View
SIGMOD
1995
ACM
97views Database» more  SIGMOD 1995»
15 years 10 months ago
Implementing Crash Recovery in QuickStore: A Performance Study
Implementing crash recovery in an Object-Oriented Database System (OODBMS) raises several challenging issues for performance that are not present in traditional DBMSs. These perfo...
Seth J. White, David J. DeWitt
ACNS
2010
Springer
172views Cryptology» more  ACNS 2010»
15 years 10 months ago
Secure Sketch for Multiple Secrets
Secure sketches are useful in extending cryptographic schemes to biometric data since they allow recovery of fuzzy secrets under inevitable noise. In practice, secrets derived from...
Chengfang Fang, Qiming Li, Ee-Chien Chang
AUSAI
2009
Springer
15 years 10 months ago
Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems
Regressions has successfully been incorporated into memetic algorithm (MA) to build surrogate models for the objective or constraint landscape of optimization problems. This helps ...
Stephanus Daniel Handoko, Chee Keong Kwoh, Yew-Soo...
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 10 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
GECCO
2010
Springer
153views Optimization» more  GECCO 2010»
15 years 10 months ago
Multi-task evolutionary shaping without pre-specified representations
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
Matthijs Snel, Shimon Whiteson