498 search results - page 43 / 100 » On the Category of Petri Net Computations |
104
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
87
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
100
Voted
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
144
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Image classification is a critical task for both humans and computers. One of the challenges lies in the large scale of the semantic space. In particular, humans can recognize tens...
121
Voted
ECCV
2010
Springer
15 years 26 days ago
2010
Springer
Image classification is a critical task for both humans and computers. One of the challenges lies in the large scale of the semantic space. In particular, humans can recognize tens...