Sciweavers

4488 search results - page 657 / 898
» Properties of NP-Complete Sets
Sort
View
SIGSOFT
2006
ACM
15 years 12 months ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
VALUETOOLS
2006
ACM
128views Hardware» more  VALUETOOLS 2006»
15 years 12 months ago
Relative stability analysis of multiple queues
In this paper we consider a general class of single-server multiqueue systems in which the stability of any single queue can be essentially determined by the queue’s arrival rat...
Sum Lam, Rocky K. C. Chang, Yi Xie
WOWMOM
2006
ACM
111views Multimedia» more  WOWMOM 2006»
15 years 12 months ago
An Experimental Testbed and Methodology for Characterizing IEEE 802.11 Network Cards
— It has been observed that IEEE 802.11 commercial cards produced by different vendors show a different behavior in terms of perceived throughput or access delay. Performance dif...
Antonio Di Stefano, Giovanni Terrazzino, Luca Scal...
ICPR
2010
IEEE
15 years 11 months ago
Multiresolution Analysis of 3D Images Based on Discrete Distortion
We consider a model of a 3D image obtained by discretizing it into a multiresolution tetrahedral mesh known as a hierarchy of diamonds. This model enables us to extract crack-free...
Kenneth Weiss, Mohammed Mostefa Mesmoudi, L. De Fl...
3DIM
2005
IEEE
15 years 11 months ago
Transform-Based Methods for Indexing and Retrieval of 3D Objects
We compare two transform-based indexing methods for retrieval of 3D objects. We apply 3D Discrete Fourier Transform (DFT) and 3D Radial Cosine Transform (RCT) to the voxelized dat...
Helin Dutagaci, Bülent Sankur, Yücel Yem...