Sciweavers

1579 search results - page 74 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
TIT
1998
127views more  TIT 1998»
15 years 5 months ago
On a New Class of Codes for Identifying Vertices in Graphs
—We investigate a new class of codes for the optimal covering of vertices in an undirected graph Gsuch that any vertex in G can be uniquely identified by examining the vertices ...
Mark G. Karpovsky, Krishnendu Chakrabarty, Lev B. ...
ER
2003
Springer
150views Database» more  ER 2003»
15 years 11 months ago
EITH - A Unifying Representation for Database Schema and Application Code in Enterprise Knowledge Extraction
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
Mark S. Schmalz, Joachim Hammer, Mingxi Wu, Oguzha...
DCC
2007
IEEE
16 years 5 months ago
Multiple-Description Coding by Dithered Delta-Sigma Quantization
We address the connection between the multiple-description (MD) problem and Delta-Sigma quantization. The inherent redundancy due to oversampling in Delta-Sigma quantization, and ...
Jan Østergaard, Ram Zamir
ICC
2008
IEEE
125views Communications» more  ICC 2008»
16 years 19 days ago
Cell Search for Cell-Based OFDM Systems Using Quasi Complete Complementary Codes
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...
Chao-Yu Chen, Ying-Ju Min, Kuei-Ying Lu, Chi-Chao ...
LICS
2002
IEEE
15 years 11 months ago
A Syntactic Approach to Foundational Proof-Carrying Code
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...