Sciweavers

4541 search results - page 423 / 909
» Cache-Oblivious Algorithms and Data Structures
Sort
View
VMCAI
2009
Springer
15 years 11 months ago
Shape-Value Abstraction for Verifying Linearizability
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
Viktor Vafeiadis
HICSS
2005
IEEE
172views Biometrics» more  HICSS 2005»
15 years 10 months ago
A Location Service Mechanism for Position-Based Multicasting in Wireless Mobile Ad hoc Networks
Abstract— In this paper we propose a novel location management scheme tailored for multicasting in Mobile Ad-hoc Networks (MANETs). We furthermore propose AMDLM, a locationbased ...
Yoav Sasson, David Cavin, André Schiper
ICA
2004
Springer
15 years 10 months ago
Blind Source Separation Using the Block-Coordinate Relative Newton Method
Presented here is a generalization of the modified relative Newton method, recently proposed in [1] for quasi-maximum likelihood blind source separation. Special structure of the ...
Alexander M. Bronstein, Michael M. Bronstein, Mich...
CAD
2007
Springer
15 years 4 months ago
The spherical visibility map
We introduce a novel representation for visibility in three dimensions and describe an efficient algorithm to construct it. The data structure is a spherical map that consists of...
Todd Keeler, John Fedorkiw, Sherif Ghali
ECCV
2002
Springer
16 years 6 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