372 search results - page 56 / 75 » Building Design Optimization Using Sequential Linear Program... |
103
Voted
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Digital microfluidic biochips have emerged as a popular alternative for laboratory experiments. To make the biochip feasible for practical applications, pin-count reduction is a k...
128
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
112
click to vote
AAAI
2010
15 years 3 months ago
2010
We consider approval voting elections in which each voter votes for a (possibly empty) set of candidates and the outcome consists of a set of k candidates for some parameter k, e....
148
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
146
click to vote
ACMMSP
2004
ACM
15 years 7 months ago
2004
ACM
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...