527 search results - page 46 / 106 » Words and Bisimulations of Dynamical Systems |
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
SIAMCO
2008
13 years 7 months ago
2008
Given a control-affine system and a controlled invariant submanifold, we present necessary and sufficient conditions for local feedback equivalence to a system whose dynamics tran...
IJAR
2008
13 years 7 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
SIAMSC
2008
13 years 7 months ago
2008
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...