9186 search results - page 1539 / 1838 » A Module System for Scheme |
116
click to vote
IV
2002
IEEE
15 years 8 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
107
click to vote
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo...
115
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
118
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— The heat exchange efficiency of electrically conducting fluids can drop dramatically when they interact with externally imposed magnetic fields. The movement of such...
121
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Generalized Nash equilibria (GNE) represent extensions of the Nash solution concept when agents have shared strategy sets. This generalization is particularly relevant ...