Sciweavers

3545 search results - page 203 / 709
» Computational methods for case-cohort studies
Sort
View
ISVC
2009
Springer
16 years 1 months ago
Wavelet-Based Representation of Biological Shapes
Modeling, characterization and analysis of biological shapes and forms are important in many computational biology studies. Shape representation challenges span the spectrum from s...
Bin Dong, Yu Mao, Ivo D. Dinov, Zhuowen Tu, Yongga...
CVPR
2003
IEEE
16 years 8 months ago
Vector-Valued Image Regularization with PDE's : A Common Framework for Different Applications
1 We address the problem of vector-valued image regularization with variational methods and PDE's. From the study of existing formalisms, we propose a unifying framework base...
David Tschumperlé, Rachid Deriche
ICPR
2004
IEEE
16 years 7 months ago
Non-Isotropic Regularization of the Correspondence Space in Stereo-Vision
The correspondence problem in stereo vision is notoriously difficult. In many approaches a noisy solution is extracted from the correspondence space. Various sophisticated regular...
Nir A. Sochen, Rami Ben-Ari
ICML
2005
IEEE
16 years 7 months ago
Closed-form dual perturb and combine for tree-based models
This paper studies the aggregation of predictions made by tree-based models for several perturbed versions of the attribute vector of a test case. A closed-form approximation of t...
Pierre Geurts, Louis Wehenkel
CAV
2009
Springer
139views Hardware» more  CAV 2009»
16 years 7 months ago
A Concurrent Portfolio Approach to SMT Solving
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
Christoph M. Wintersteiger, Leonardo Mendonç...