1195 search results - page 19 / 239 » Modeling an Algebraic Stepper |
122
Voted
EEF
2000
15 years 5 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
127
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
128
click to vote
TCS
2010
14 years 8 months ago
2010
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
143
click to vote
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
212
Voted
VLDB
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...