6279 search results - page 93 / 1256 » Objects as session-typed processes |
165
click to vote
ZUM
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
143
click to vote
WSC
1997
15 years 6 months ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
126
Voted
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
148
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
A new algorithm for the design of complex features, to be used in the discriminant saliency approach to object classification, is presented. The algorithm consists of sequential r...
135
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents a novel method for real-time tracking of objects in video sequences. Tracking is performed using the so-called Morphological Elastic Graph Matching algorithm. ...