77 search results - page 12 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
AUTOMATICA
2004
14 years 10 months ago
2004
Ellipsoidal outer-bounding of the set of all feasible state vectors under model uncertainty is a natural extension of state estimation for deterministic models with unknown-but-bo...
ICCV
2007
IEEE
16 years 9 days ago
2007
IEEE
In this paper we study face recognition across ages within a real passport photo verification task. First, we propose using the gradient orientation pyramid for this task. Discard...
ICIP
2005
IEEE
16 years 15 hour ago
2005
IEEE
Most block-based image authentication techniques that are presented in the literature sacrifice localization accuracy in order to resist vector quantization (VQ) counterfeiting att...
ICONIP
2008
14 years 11 months ago
2008
Asbestos-related illnesses become a nationwide problem in Japan. Now human inspectors check whether asbestos is contained in building material or not. To judge whether the specimen...
120
click to vote
PE
2000
Springer
14 years 10 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...