1795 search results - page 154 / 359 » On the Complexity of Circuit Satisfiability |
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
The goal of QoS routing is to find a loopless path through a network that can satisfy a given set of constraints on parameters such as bandwidth, delay and cost. QoS routing algo...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
Logic synthesis systems are complex systems and algorithmic research in synthesis has become highly specialized. This creates a gap where it is often not clear how an advance in a...
ESWS
2007
Springer
14 years 26 days ago
2007
Springer
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
BROADNETS
2004
IEEE
14 years 22 days ago
2004
IEEE
In this paper, we present a framework for the design of minimal power schedulers that satisfy average packet delay bounds for multiple users in a Gaussian wireless broadcast chann...
AUSAI
2006
Springer
14 years 22 days ago
2006
Springer
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized ...