Sciweavers

1510 search results - page 89 / 302
» The distributed Karhunen-Loeve transform
Sort
View
PCM
2010
Springer
143views Multimedia» more  PCM 2010»
13 years 7 months ago
Robust Shape Retrieval through a Novel Statistical Descriptor
We propose a novel statistical descriptor, Multiple References Histogram Matrix (MRHM), for robust shape retrieval, especially for degraded shape images. For each shape image, MRHM...
Tuantuan Wang, Tong Lu, Wenyin Liu
IPPS
1998
IEEE
14 years 1 months ago
On the Automatic Validation of Parameterized Unity Programs
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
Jean-Paul Bodeveix, Mamoun Filali
EUSFLAT
2003
13 years 10 months ago
Capacities on lattices and k-ary capacities
We propose a general notion of capacity defined on any finite distributive lattice, encompassing usual capacities, bi-capacities, and their immediate extensions called k-ary cap...
Michel Grabisch, Christophe Labreuche
PE
2008
Springer
103views Optimization» more  PE 2008»
13 years 8 months ago
Heavy-tailed asymptotics for a fluid model driven by an M/G/1 queue
In this paper, an infinite-buffer fluid queue driven by an M/G/1 queue is discussed. The Laplace transform of the distribution of the stationary buffer content is expressed throug...
Quan-Lin Li, Liming Liu, Weixin Shang
IPPS
2007
IEEE
14 years 3 months ago
Optimizing Inter-Nest Data Locality Using Loop Splitting and Reordering
With the increasing gap between processor speed and memory latency, the performance of data-dominated programs are becoming more reliant on fast data access, which can be improved...
Sofiane Naci