12115 search results - page 322 / 2423 » Bisimulation of Dynamical Systems |
184
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We develop a classification algorithm for hybrid autoregressive models of human motion for the purpose of videobased analysis and recognition. We assume that some temporal statist...
162
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a distributed 3D dynamic mesh coding system. The system is based on Slepian and Wolf’s and Wyner and Ziv’s information-theoretic results. Our system ...
196
click to vote
DSN
2006
IEEE
16 years 23 days ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
168
Voted
PASTE
2004
ACM
16 years 3 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
179
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...