Sciweavers

20441 search results - page 260 / 4089
» Locally Computable Structures
Sort
View
BILDMED
2009
167views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Landmark-Based 3D Elastic Registration of Pre- and Postoperative Liver CT Data
The qualitative and quantitative comparison of pre- and postoperative image data is an important possibility to validate computer assisted surgical procedures. Due to deformations ...
Thomas Lange, Stefan Wörz, Karl Rohr, Peter-M...
ENTCS
2008
120views more  ENTCS 2008»
15 years 4 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
TON
2010
188views more  TON 2010»
14 years 11 months ago
Self-Chord: A Bio-Inspired P2P Framework for Self-Organizing Distributed Systems
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
Agostino Forestiero, Emilio Leonardi, Carlo Mastro...
AUSAI
2006
Springer
15 years 8 months ago
Learning Hybrid Bayesian Networks by MML
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...
Rodney T. O'Donnell, Lloyd Allison, Kevin B. Korb
PERVASIVE
2007
Springer
15 years 10 months ago
TrackSense: Infrastructure Free Precise Indoor Positioning Using Projected Patterns
While commercial solutions for precise indoor positioning exist, they are costly and require installation of additional infrastructure, which limits opportunities for widespread ad...
Moritz Köhler, Shwetak N. Patel, Jay Summet, ...