Sciweavers

ERSHOV
2009
Springer
13 years 10 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
IBPRIA
2009
Springer
14 years 5 months ago
Score Fusion by Maximizing the Area under the ROC Curve
Information fusion is currently a very active research topic aimed at improving the performance of biometric systems. This paper proposes a novel method for optimizing the paramete...
Mauricio Villegas, Roberto Paredes
ICPR
2008
IEEE
14 years 7 months ago
Video caption duration extraction
Caption detection in the video is an active research topic in recent years. In the conventional methods, one of most difficult problems is to effectively and quickly extract the ...
Hongliang Bai, Jun Sun 0004, Satoshi Naoi, Yutaka ...