2664 search results - page 17 / 533 » Theory of processes |
96
Voted
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
112
click to vote
ICALP
2009
Springer
16 years 23 days ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
100
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
114
Voted
INLG
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
COSIT
2003
Springer
15 years 5 months ago
2003
Springer
Scale is of great importance to the analysis of real world phenomena, be they enduring objects or perduring processes. This paper presents a new perspective on the concept of scale...