296 search results - page 48 / 60 » Numerical function generators using bilinear interpolation |
111
Voted
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
EOR
2008
14 years 9 months ago
2008
Consider a problem of minimizing a separable, strictly convex, monotone and differentiable function on a convex polyhedron generated by a system of m linear inequalities. The probl...
NAR
2007
14 years 9 months ago
2007
Systematic mapping of protein–protein interactions has become a central task of functional genomics. To map the human interactome, several strategies have recently been pursued....
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a new approach to adaptive system identification when the system model is sparse. The approach applies the ℓ1 relaxation, common in compressive sensing, to improve t...
90
Voted
SIAMSC
2008
14 years 9 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...