Sciweavers

2593 search results - page 294 / 519
» Algorithms and Data Structures for Computer Topology
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 7 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
TMI
2010
165views more  TMI 2010»
15 years 5 months ago
Spatio-Temporal Data Fusion for 3D+T Image Reconstruction in Cerebral Angiography
—This paper provides a framework for generating high resolution time sequences of 3D images that show the dynamics of cerebral blood flow. These sequences have the potential to ...
Andrew Copeland, Rami Mangoubi, Mukund N. Desai, S...
IPPS
2003
IEEE
16 years 13 days ago
Phylogenetic Tree Inference on PC Architectures with AxML/PAxML
Inference of phylogenetic trees comprising hundreds or even thousands of organisms based on the maximum likelihood method is computationally extremely expensive. In previous work,...
Alexandros Stamatakis, Thomas Ludwig 0002
ECCV
2002
Springer
16 years 9 months ago
Audio-Video Sensor Fusion with Probabilistic Graphical Models
Abstract. We present a new approach to modeling and processing multimedia data. This approach is based on graphical models that combine audio and video variables. We demonstrate it...
Matthew J. Beal, Hagai Attias, Nebojsa Jojic
ECCV
2004
Springer
16 years 9 months ago
On Refractive Optical Flow
This paper presents a novel generalization of the optical flow equation to the case of refraction, and it describes a method for recovering the refractive structure of an object fr...
Sameer Agarwal, Satya P. Mallick, David J. Kriegma...