6245 search results - page 1163 / 1249 » A Case for Aggregate Networks |
158
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—We present a method to eliminate redundancy in the transition tables of Boolean automata: schema redescription with two symbols. One symbol is used to capture redundancy of indi...
162
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Shannon defined channel capacity as the highest rate at which there exists a sequence of codes of block length n such that the error probability goes to zero as n goes to infinity....
143
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
193
click to vote
BCB
2010
14 years 11 months ago
2010
We present a new method for identifying gene sets associated with labeled samples, where the labels can be case versus control, or genotype differences. Existing approaches to thi...
115
click to vote
EJWCN
2010
14 years 11 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...