276 search results - page 49 / 56 » Decomposition tool for event-B |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This work presents a novel methodology for the transformation of facial expressions, to assist face biometrics. It is known that identification using only one image per subject p...
69
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
IWPSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
KDD
2005
ACM
15 years 3 months ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...