5863 search results - page 904 / 1173 » On Model-Checking of P Systems |
163
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...
169
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a parametric model for facial animation and a method for adapting it to a specific person. Every facial expression can be described as a contraction or r...
154
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Symmetric shared disks file systems are functional, versatile, and just plain cool. For these file systems to work, they require a global lock space, acessable to all clients. T...
137
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
160
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...