882 search results - page 73 / 177 » Analysis of Composite Corridors |
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we show how to estimate, accurately and efficiently, the 3D motion of a rigid or non-rigid object, and time-varying lighting in a dynamic scene. This is achieved i...
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
GPCE
2003
Springer
14 years 2 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...