19367 search results - page 93 / 3874 » Fine-Grain Process Modelling |
284
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
192
Voted
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
189
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
167
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...