35 search results - page 1 / 7 » SWS Challenge - First Year Overview |
DAGSTUHL
2001
13 years 6 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
EOR
2008
13 years 5 months ago
2008
The ROADEF challenge is organized every two years by the French Society of Operations Research and Decision-Making Aid. The goal is to allow industrial partners to witness recent ...
CVPR
2005
IEEE
14 years 7 months ago
2005
IEEE
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
CCE
2005
13 years 5 months ago
2005
This paper presents an overview of the research progress in global optimization during the last 5 years (1998
CLEF
2008
Springer
13 years 7 months ago
2008
Springer
The QA campaign at CLEF [1], was manly the same as that proposed last year. The results and the analyses reported by last year's participants suggested that the changes introd...