2452 search results - page 111 / 491 » On Reduction of Lagrange Systems |
122
click to vote
ICCAD
2005
IEEE
16 years 2 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
145
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Previous work has shown that sizable power reductions can be achieved by shutting down a system's sub-circuits when they are not needed. However, these shutdown techniques fo...
141
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we present a new entertainment adaptive framework AIRSF for stress free air travels. Based on the passenger's current and target comfort states, user entertain...
139
click to vote
CDC
2008
IEEE
16 years 10 days ago
2008
IEEE
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
139
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...