99 search results - page 12 / 20 » Quantifier structure in search based procedures for QBFs |
112
click to vote
3DIM
2007
IEEE
15 years 6 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
101
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract—Breadth First Search (BFS) is a widely used approach for sampling large unknown Internet topologies. Its main advantage over random walks and other exploration technique...
BMCBI
2010
14 years 12 months ago
2010
Background: One important goal of structural bioinformatics is to recognize and predict the interactions between protein binding sites and RNA. Recently, a comprehensive analysis ...
142
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: A fundamental problem when trying to define the functional relationships between proteins is the difficulty in quantifying functional similarities, even when well-stru...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
A recently proposed approach to address privacy concerns in storing web search querylogs is bundling logs of multiple users together. In this work we investigate privacy leaks tha...