Sciweavers

4083 search results - page 131 / 817
» The EvA2 Optimization Framework
Sort
View
132
Voted
ITP
2010
149views Mathematics» more  ITP 2010»
15 years 6 months ago
A Framework for Formal Verification of Compiler Optimizations
William Mansky, Elsa L. Gunter
ATAL
2010
Springer
15 years 5 months ago
The multi variable multi constrained distributed constraint optimization framework
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
Christopher Portway, Edmund H. Durfee
BMCBI
2007
130views more  BMCBI 2007»
15 years 4 months ago
A model-based optimization framework for the inference of regulatory interactions using time-course DNA microarray expression da
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
Reuben Thomas, Carlos J. Paredes, Sanjay Mehrotra,...