2020 search results - page 17 / 404 » Speeding up Slicing |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
The Image Distortion Model (IDM) has shown good retrieval quality in previous runs of the medical automatic annotation task of previous ImageCLEF workshops. However, one of its li...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
MLG
2007
Springer
14 years 1 months ago
2007
Springer
d Abstract) Kaspar Riesen, Stefan Fankhauser and Horst Bunke2