275 search results - page 9 / 55 » Delimited dynamic binding |
JMLR
2012
11 years 10 months ago
2012
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...
IROS
2009
IEEE
2009
IEEE
Human Robot interaction studies on laban human movement analysis and dynamic background segmentation
14 years 2 months ago
— Human movement analysis through vision sensing systems is an important subject regarding Human-Robot interaction. This is a growing area of research, with wide range of aplicat...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
TGC
2005
Springer
14 years 1 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
AINA
2008
IEEE
14 years 2 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...