553 search results - page 39 / 111 » A General Theory of Additive State Space Abstractions |
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ZUM
2000
Springer
14 years 6 days ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
MOR
2008
13 years 8 months ago
2008
Abstract. We propose a new solution method for optimal stopping problems with random discounting for linear diffusions whose state space has a combination of natural, absorbing, or...
ICMI
2010
Springer
13 years 6 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
State-space modeling of fully differential Gm-C filters with weak nonlinearities is used to develop a fast algorithm for intermodulation distortion estimation. It results in sim...