887 search results - page 131 / 178 » Representing Systems with Hidden State |
117
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The purpose of this paper is to model the stochastic behavior of nodal prices and use the predicted price differences between zones as the basis for measuring the magnitude and...
120
click to vote
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
156
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Spectral expansion and matrix analytic methods are important solution mechanisms for matrix polynomial equations. These equations are encountered in the steady-state analysis of M...
134
click to vote
ICCAD
2008
IEEE
16 years 27 days ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
141
click to vote
ICCAD
2001
IEEE
16 years 26 days ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...