860 search results - page 52 / 172 » A Process Algebra Based Verification of a Production System |
IWANN
2005
Springer
14 years 2 months ago
2005
Springer
Face recognition is one of the most important image processing research topics which is widely used in personal identification, verification and security applications. In this pape...
SERP
2004
13 years 10 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
We present an emotion recognition system based on a probabilistic approach to adaptive processing of Facial Emotion Tree Structures (FETS). FETS are made up of localized Gabor fea...
CLIMA
2004
13 years 10 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
ACSD
2004
IEEE
14 years 22 days ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...