4485 search results - page 14 / 897 » Equivalences on Observable Processes |
AUTOMATICA
2007
13 years 8 months ago
2007
We discuss notions of detectability for stochastic linear control systems of Itˆo type. A natural concept of detectability requires a non-zero output, if the state process is uns...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
LREC
2010
13 years 10 months ago
2010
In this paper we explore the potential and limitations of a concept of building a bilingual valency lexicon based on the alignment of nodes in a parallel treebank. Our aim is to b...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequenti...
DGO
2004
13 years 10 months ago
2004
E-Gov projects have an increasing influence on how government business processes evolve and change. While early e-Gov projects focused on government-to-public information and inte...