4485 search results - page 82 / 897 » Equivalences on Observable Processes |
APN
1999
Springer
14 years 1 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
Hidden Markov models assume that observations in time series data stem from some hidden process that can be compactly represented as a Markov chain. We generalize this model by as...
JEI
2008
13 years 7 months ago
2008
This paper presents the summary of the image processing of a vision-based three-axis attitude determination sensor, which observes a solar system oblate body such as a planet or a...
DSONLINE
2008
13 years 8 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...