365 search results - page 26 / 73 » Liveness in Timed and Untimed Systems |
113
click to vote
SAGA
2005
Springer
15 years 7 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
123
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
102
Voted
ICEIS
2005
IEEE
15 years 7 months ago
2005
IEEE
: The CEDRIC and the IRCAM conduct since 2002 a project entitled "distributed orchestra" which proposes to coordinate on a network the actors of a musical orchestra (musi...
103
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
135
click to vote
ICIAP
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...