860 search results - page 52 / 172 » A Process Algebra Based Verification of a Production System |
158
Voted
IWANN
2005
Springer
15 years 9 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...
118
Voted
SERP
2004
15 years 4 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...
130
Voted
SAC
2006
ACM
15 years 9 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...
132
Voted
CLIMA
2004
15 years 4 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...
143
Voted
ACSD
2004
IEEE
15 years 7 months 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...