626 search results - page 93 / 126 » When Can Formal Methods Make a Real Difference |
101
click to vote
HPCA
2001
IEEE
16 years 3 months ago
2001
IEEE
Value prediction is a relatively new technique to increase the Instruction Level Parallelism (ILP) in future microprocessors. An important problem when designing a value predictor...
151
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The main achievement of this work is the development of a new face recognition approach called Partial Principal Component Analysis (P2 CA), which exploits the novel concept of us...
181
Voted
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
165
Voted
IJCAI
2007
15 years 5 months ago
2007
Image alignment refers to finding the best transformation from a fixed reference image to a new image of a scene. This process is often guided by similarity measures between ima...
137
click to vote
TC
1998
15 years 3 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...