Sciweavers

354 search results - page 41 / 71
» Designing Harmonious Proportions
Sort
View
SAT
2009
Springer
91views Hardware» more  SAT 2009»
14 years 4 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
VTC
2008
IEEE
142views Communications» more  VTC 2008»
14 years 4 months ago
Adaptive Token Bank Fair Queuing Scheduling in the Downlink of 4G Wireless Multicarrier Networks
—In this paper we present an efficient cross-layer scheduling algorithm designed for resource allocation in downlink of 4G wireless multicarrier networks. This study focuses on ...
Feroz A. Bokhari, William K. Wong, Halim Yanikomer...
CISS
2007
IEEE
14 years 4 months ago
System-Level Performance of Cellular Multihop Relaying with Multiuser Scheduling
— Multihop relaying in cellular networks is seen as a viable strategy to address the need for higher data rates and better coverage. In this paper, we analyze the system-level pe...
Mohamad Charafeddine, Ozgur Oyman, Sumeet Sandhu
ESCIENCE
2007
IEEE
14 years 4 months ago
Connecting Scientific Data to Scientific Experiments with Provenance
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
Simon Miles, Ewa Deelman, Paul T. Groth, Karan Vah...
ICNSC
2007
IEEE
14 years 4 months ago
Queue Length Based Internet Congestion Control
— In this paper we present new queue length based Internet congestion control protocol which is shown through simulations to work effectively. The control objective is to regulat...
Marios Lestas, Andreas Pitsillides, Petros A. Ioan...