398 search results - page 6 / 80 » A new biclustering technique based on crossing minimization |
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
FPL
2008
Springer
13 years 9 months ago
2008
Springer
This paper considers the implementation of an annealing technique for dynamic power reduction in FPGAs. The proposed method comprises a power-aware objective function for placemen...
INFORMS
2010
13 years 4 months ago
2010
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
Surgical simulation is a promising technology for training medical students and planning procedures. One major requirement for these simulation systems is a method to generate real...
MP
2010
13 years 5 months ago
2010
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...