5331 search results - page 209 / 1067 » Algebraic Methods for Optimization Problems |
127
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
129
Voted
CPM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Ambiguity in dynamic programming arises from two independent sources, the non-uniqueness of optimal solutions and the particular recursion scheme by which the search spac...
109
Voted
DATESO
2008
15 years 4 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
116
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
We consider the problem of computing the root-mean-square (RMS) gain of switched linear systems. We develop a new approach which is based on an attempt to characterize the "w...
111
Voted
AUTOMATICA
2002
15 years 2 months ago
2002
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...