1431 search results - page 113 / 287 » Solving Constraints in Model Transformations |
146
click to vote
COLT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We propose a convex optimization approach to solving the nonparametric regression estimation problem when the underlying regression function is Lipschitz continuous. This...
138
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
147
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
160
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
128
click to vote
ICARCV
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...