Sciweavers

4163 search results - page 29 / 833
» A comprehensive combination framework
Sort
View
LPAR
2004
Springer
14 years 2 months ago
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
Jürgen Giesl, René Thiemann, Peter Sch...
MICCAI
2009
Springer
14 years 9 months ago
A Combined Surface And VOlumetric Registration (SAVOR) Framework to Study Cortical Biomarkers and Volumetric Imaging Data
Constructing a one to one correspondence between whole brain MR image scans is a problem of critical importance in neuroimaging analyses. We present a framework to combine the stre...
Eli Gibson, Ali R. Khan, Mirza Faisal Beg
KBSE
2005
IEEE
14 years 2 months ago
Timna: a framework for automatically combining aspect mining analyses
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
David Shepherd, Jeffrey Palm, Lori L. Pollock, Mar...
CIKM
2005
Springer
14 years 2 months ago
A new framework to combine descriptors for content-based image retrieval
In this paper, we propose a novel framework using Genetic Programming to combine image database descriptors for content-based image retrieval (CBIR). Our framework is validated th...
Ricardo da Silva Torres, Alexandre X. Falcã...