Sciweavers

2230 search results - page 197 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
STOC
2004
ACM
150views Algorithms» more  STOC 2004»
16 years 3 months ago
Typical properties of winners and losers in discrete optimization
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
René Beier, Berthold Vöcking
BMCBI
2006
144views more  BMCBI 2006»
15 years 2 months ago
More robust detection of motifs in coexpressed genes by using phylogenetic information
Background: Several motif detection algorithms have been developed to discover overrepresented motifs in sets of coexpressed genes. However, in a noisy gene list, the number of ge...
Pieter Monsieurs, Gert Thijs, Abeer A. Fadda, Sigr...
DASFAA
2008
IEEE
101views Database» more  DASFAA 2008»
15 years 9 months ago
Topological Relationships between Map Geometries
The importance of topological relationships between spatial objects is recognized in many disciplines. In the field of spatial databases, topological relationships have played an ...
Mark McKenney, Markus Schneider
SIGMETRICS
2012
ACM
283views Hardware» more  SIGMETRICS 2012»
13 years 5 months ago
Renewable and cooling aware workload management for sustainable data centers
The demand for data center computing increased significantly in recent years resulting in huge energy consumption. Data centers typically comprise three main subsystems: IT equip...
Zhenhua Liu, Yuan Chen, Cullen Bash, Adam Wierman,...
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 4 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...