4985 search results - page 321 / 997 » Observation of String-Rewriting Systems |
133
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
147
click to vote
GISCIENCE
2010
Springer
15 years 6 months ago
2010
Springer
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
122
click to vote
JSCIC
2008
15 years 5 months ago
2008
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
110
click to vote
SCL
2008
15 years 4 months ago
2008
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
143
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...