2467 search results - page 386 / 494 » Finite State Machines |
104
Voted
ICALP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
115
Voted
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
114
click to vote
APN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
108
Voted
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
139
click to vote
GFKL
2007
Springer
15 years 4 months ago
2007
Springer
Kernel methods offer a flexible toolbox for pattern analysis and machine learning. A general class of kernel functions which incorporates known pattern invariances are invariant d...