Sciweavers

36 search results - page 3 / 8
» On the Local and Global Means of Subtree Orders
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
IROS
2007
IEEE
189views Robotics» more  IROS 2007»
16 years 20 days ago
Differential evolution approach to the grid-based localization and mapping problem
— A new solution to the Simultaneous Localization and Modelling problem is presented. It is based on the stochastic search of solutions in the state space to the global localizat...
Luis Moreno, Santiago Garrido, Fernando Martin, Ma...
SIAMIS
2010
378views more  SIAMIS 2010»
15 years 1 months ago
Global Interactions in Random Field Models: A Potential Function Ensuring Connectedness
Markov random field (MRF) models, including conditional random field models, are popular in computer vision. However, in order to be computationally tractable, they are limited to ...
Sebastian Nowozin, Christoph H. Lampert
TON
1998
92views more  TON 1998»
15 years 6 months ago
Local error recovery in SRM: comparison of two approaches
—Scalable reliable multicast (SRM) is a framework for reliable multicast delivery. In order to maximize the collaboration among the group members in error recovery, both retransm...
Ching-Gung Liu, Deborah Estrin, Scott Shenker, Lix...
BMCBI
2005
131views more  BMCBI 2005»
15 years 6 months ago
Functional annotation by identification of local surface similarities: a novel tool for structural genomics
Background: Protein function is often dependent on subsets of solvent-exposed residues that may exist in a similar three-dimensional configuration in non homologous proteins thus ...
Fabrizio Ferrè, Gabriele Ausiello, Andreas ...