Sciweavers

933 search results - page 94 / 187
» Fully automatic cross-associations
Sort
View
POPL
2011
ACM
14 years 9 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
217
Voted
PR
2011
14 years 9 months ago
Hierarchical annotation of medical images
In this paper, we describe an approach for the automatic medical annotation task of the 2008 CLEF cross-language image retrieval campaign (ImageCLEF). The data comprise 12076 full...
Ivica Dimitrovski, Dragi Kocev, Suzana Loskovska, ...
ICDAR
2011
IEEE
14 years 5 months ago
Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts
This paper presents a fully automatic framework for the restoration of double-sided historical manuscripts which are impaired by ink bleed-through distortions. First, the recto si...
Jie Wang, Chew Lim Tan
CC
2012
Springer
243views System Software» more  CC 2012»
14 years 1 months ago
Sambamba: A Runtime System for Online Adaptive Parallelization
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...
Kevin Streit, Clemens Hammacher, Andreas Zeller, S...
229
Voted
CAV
2012
Springer
334views Hardware» more  CAV 2012»
13 years 8 months ago
Joogie: Infeasible Code Detection for Java
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
Stephan Arlt, Martin Schäf