27 search results - page 5 / 6 » asm 2005 |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
ICIP
2005
IEEE
13 years 11 months ago
2005
IEEE
We propose a robust face alignment algorithm with a novel discriminative local texture model. Different from the conventional descriptive PCA local texture model in ASM, classifie...
ACII
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we present a face alignment system to deal with various poses and expressions. In addition to global shape model, we use component shape model such as mouth shape mo...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...