12115 search results - page 238 / 2423 » Bisimulation of Dynamical Systems |
176
click to vote
ENTCS
2002
15 years 6 months ago
2002
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
162
click to vote
TCS
2002
15 years 6 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
181
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and synthesizing figure motion has employed eit...