5015 search results - page 374 / 1003 » Model Checking a Path |
206
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
161
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
184
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
160
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...
182
Voted
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...