1142 search results - page 150 / 229 » Approximability of Clausal Constraints |
163
click to vote
ESOP
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
143
click to vote
ICANN
2007
Springer
16 years 14 days ago
2007
Springer
Input selection in the nonlinear function approximation is important and difficult problem. Neural networks provide good generalization in many cases, but their interpretability is...
159
click to vote
IFIP
2007
Springer
16 years 14 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
172
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
170
click to vote
CIMCA
2006
IEEE
16 years 11 days ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...