Sciweavers

4266 search results - page 149 / 854
» The container loading problem
Sort
View
106
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 3 months ago
The capacity region of a class of broadcast channels with a sequence of less noisy receivers
The capacity region of a broadcast channel consisting of k-receivers that lie in a less noisy sequence is an open problem, when k 3. We prove that superposition coding is indeed ...
Chandra Nair, Zizhou Vincent Wang
EDBT
2002
ACM
136views Database» more  EDBT 2002»
16 years 3 months ago
Rewriting Unions of General Conjunctive Queries Using Views
The problem of finding contained rewritings of queries using views is of great importance in mediated data integration systems. In this paper, we first present a general approach f...
Junhu Wang, Michael J. Maher, Rodney W. Topor
110
Voted
IPCCC
2006
IEEE
15 years 9 months ago
Incorruptible system self-cleansing for intrusion tolerance
 Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The problem stems in large part from the constant innovation and evolu...
Yih Huang, David Arsenault, Arun Sood
117
Voted
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
15 years 8 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
ICML
2002
IEEE
16 years 4 months ago
Partially Supervised Classification of Text Documents
We investigate the following problem: Given a set of documents of a particular topic or class ?, and a large set ? of mixed documents that contains documents from class ? and othe...
Bing Liu, Wee Sun Lee, Philip S. Yu, Xiaoli Li