Sciweavers

9818 search results - page 245 / 1964
» Much Support and More
Sort
View
DAMON
2006
Springer
15 years 8 months ago
B-tree indexes, interpolation search, and skew
Recent performance improvements in storage hardware have benefited bandwidth much more than latency. Among other implications, this trend favors large B-tree pages. Recent perform...
Goetz Graefe
RECOMB
2000
Springer
15 years 10 months ago
Contig selection in physical mapping
In physical mapping, one orders a set of genetic landmarks or a library of cloned fragments of DNA according to their position in the genome. Our approach to physical mapping divi...
Steffen Heber, Jens Stoye, Jörg D. Hoheisel, ...
CADE
2007
Springer
16 years 7 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli
ROBOCUP
2005
Springer
96views Robotics» more  ROBOCUP 2005»
16 years 4 days ago
Self Task Decomposition for Modular Learning System Through Interpretation of Instruction by Coach
One of the most formidable issues of RL application to real robot tasks is how to find a suitable state space, and this has been much more serious since recent robots tends to hav...
Yasutake Takahashi, Tomoki Nishi, Minoru Asada
IACR
2011
158views more  IACR 2011»
14 years 6 months ago
Can Homomorphic Encryption be Practical?
Abstract. The prospect of outsourcing an increasing amount of data storage and management to cloud services raises many new privacy concerns for individuals and businesses alike. T...
Kristin Lauter, Michael Naehrig, Vinod Vaikuntanat...