Sciweavers

410 search results - page 20 / 82
» Max and min limiters
Sort
View
AAAI
2006
13 years 9 months ago
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT
Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...
Chu Min Li, Felip Manyà, Jordi Planes
NETWORKING
2004
13 years 9 months ago
MaxNet: Faster Flow Control Convergence
MaxNet is a distributed congestion control architecture in which only the most severely bottlenecked link on the end-to-end path generates the congestion signal that controls the s...
Bartek P. Wydrowski, Lachlan L. H. Andrew, Iven M....
PODC
2009
ACM
14 years 8 months ago
Max registers, counters, and monotone circuits
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...
James Aspnes, Hagit Attiya, Keren Censor
COCOON
2005
Springer
14 years 1 months ago
Min-Energy Voltage Allocation for Tree-Structured Tasks
Westudyjobschedulingonprocessorscapableofrunningatvariablevoltage/speed tominimizeenergyconsumption.Eachjob ina probleminstanceisspecifiedbyitsarrivaltime and deadline, together w...
Minming Li, Becky Jie Liu, Frances F. Yao
JMLR
2006
103views more  JMLR 2006»
13 years 7 months ago
MinReg: A Scalable Algorithm for Learning Parsimonious Regulatory Networks in Yeast and Mammals
In recent years, there has been a growing interest in applying Bayesian networks and their extensions to reconstruct regulatory networks from gene expression data. Since the gene ...
Dana Pe'er, Amos Tanay, Aviv Regev