11168 search results - page 264 / 2234 » Abstract State Processes |
199
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
179
Voted
ICMAS
2000
15 years 8 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
214
Voted
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
150
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— A planning method for unraveling manipulation of deformable linear objects is proposed. In manipulation of a linear object, its raveling must be avoided. It takes much time to ...
183
Voted
CN
2004
15 years 6 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...