Sciweavers

8446 search results - page 43 / 1690
» A Process Compensation Language
Sort
View
ICIP
2007
IEEE
14 years 5 months ago
A Generic Process Chain to Extract Key-Objects from Video Shots
This paper discusses object-based representation of video shots acquired by a moving camera. Our approach uses an extraction of foreground regions capable of representing semantic...
Jérémy Huart, Pascal Bertolino
FMCO
2006
Springer
14 years 2 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
POPL
2003
ACM
14 years 11 months ago
The m-calculus: a higher-order distributed process calculus
Alan Schmitt, Jean-Bernard Stefani