6279 search results - page 156 / 1256 » Objects as session-typed processes |
204
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Motion segmentation is a classic and on-going research topic which is an important pre-stage for many video processes. The reliability of the motion field calculation directly dete...
160
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
198
click to vote
IC
2003
15 years 8 months ago
2003
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
152
click to vote
MVA
1994
15 years 7 months ago
1994
This paper describes the preliminary work of image separation between natural and artificial objects using fractal dimensions by noting that most of natural images have non-intege...
154
click to vote
JBCS
2002
15 years 6 months ago
2002
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...