A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
—A number of lifting-based video coding schemes have been recently proposed for scalable video coding. In this paper, we present a novel multi-view image codec based on a wavelet...
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
In this paper, we study the performance of opportunistic scheduling for downlink data transmissions with type-II packet-combining hybrid ARQ in a multirate cellular network for a f...
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...