Sciweavers

3591 search results - page 54 / 719
» Typing linear constraints
Sort
View
SPLC
2010
14 years 7 days ago
Consistent Product Line Configuration across File Type and Product Line Boundaries
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
Christoph Elsner, Peter Ulbrich, Daniel Lohmann, W...
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
14 years 4 months ago
A Pivoting Algorithm for Metabolic Networks in the Presence of Thermodynamic Constraints
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
R. Nigam, S. Liang
SIAMJO
2010
125views more  SIAMJO 2010»
13 years 5 months ago
Trading Accuracy for Sparsity in Optimization Problems with Sparsity Constraints
We study the problem of minimizing the expected loss of a linear predictor while constraining its sparsity, i.e., bounding the number of features used by the predictor. While the r...
Shai Shalev-Shwartz, Nathan Srebro, Tong Zhang
CDC
2008
IEEE
154views Control Systems» more  CDC 2008»
14 years 5 months ago
Distributed calculation of linear functions in noisy networks via linear iterations
— Given a fixed network where each node has some given initial value, and under the constraint that each node receives noisy transmissions from its immediate neighbors, we provi...
Shreyas Sundaram, Christoforos N. Hadjicostis
TOPLAS
2010
115views more  TOPLAS 2010»
13 years 9 months ago
JavaCOP: Declarative pluggable types for java
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
Shane Markstrum, Daniel Marino, Matthew Esquivel, ...