1397 search results - page 128 / 280 » On the Need for Practical Formal Methods |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Recently, maximization mutual information (MMI) of image intensities has been proposed as a new matching criterion for automated multimodality image registration. However, the suc...
FSKD
2007
Springer
14 years 4 months ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
PATMOS
2005
Springer
14 years 3 months ago
2005
Springer
Early circuit performance estimation and easy-to-apply methods for minimum-delay gate sizing are needed, in order to enhance circuit’s performance and to increase designers’ pr...
NAACL
2010
13 years 8 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
A novel method for robust super-resolution offace images is proposed in this paper. Face super-resolution is a particular interest in video surveillance where face images have typ...