1593 search results - page 99 / 319 » A visual programming system for automated problem solving |
132
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
137
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
149
click to vote
IWPC
1998
IEEE
15 years 8 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
115
click to vote
CCE
2010
15 years 1 months ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...
139
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider the resource allocation (RA) problem of maximizing the weighted sum of the minimal user rates (WSMR) of coordinated cells subject to a total power constraint at each ba...