Motion segmentation and pose recognition with motion history gradients
GR Bradski, JW Davis - Machine Vision and Applications, 2002 - Springer
This paper presents a fast and simple method using a timed motion history image (tMHI) for
representing motion from the gradients in successively layered silhouettes. This …
representing motion from the gradients in successively layered silhouettes. This …
A higher-order calculus of computational fields
The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …
space, calls for new mechanisms to address composability and reusability of collective …
A framework for security analysis of mobile wireless networks
We present a framework for specification and security analysis of communication protocols
for mobile wireless networks. This setting introduces new challenges which are not being …
for mobile wireless networks. This setting introduces new challenges which are not being …
Creol: A type-safe object-oriented model for distributed concurrent systems
Object-oriented distributed computing is becoming increasingly important for critical
infrastructure in society. In standard object-oriented models, objects synchronize on method …
infrastructure in society. In standard object-oriented models, objects synchronize on method …
Aggregate processes as distributed adaptive services for the industrial internet of things
Abstract The Industrial Internet of Things (IIoT) promises to bring many benefits, including
increased productivity, reduced costs, and increased safety to new generation …
increased productivity, reduced costs, and increased safety to new generation …
The Must Preorder Revisited
C Laneve, L Padovani - International conference on concurrency theory, 2007 - Springer
We define a language for Web services contracts as a parallel-free fragment of ccs and we
study a natural notion of compliance between clients and services in terms of their …
study a natural notion of compliance between clients and services in terms of their …
Klaim in the making
Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …
different research topics to offer original results to seemingly different research problems …
White-box validation of collective adaptive systems by statistical model checking and process mining
Modeling and analyzing collective adaptive systems with heterogeneous components poses
challenges to language designers, software engineers, and computer scientists interested in …
challenges to language designers, software engineers, and computer scientists interested in …
Model checking mobile stochastic logic
The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous work by the
authors for formulating properties of systems specified in StoKlaim, a Markovian extension of …
authors for formulating properties of systems specified in StoKlaim, a Markovian extension of …
[HTML][HTML] Causal-consistent rollback in a tuple-based language
Rollback is a fundamental technique for ensuring reliability of systems, allowing one, in case
of troubles, to recover a past system state. However, the definition of rollback in a …
of troubles, to recover a past system state. However, the definition of rollback in a …