Sciweavers

3281 search results - page 242 / 657
» Bases for parametrized iterativity
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
A Statistical Shape Model without Using Landmarks
This paper describes the construction of a statistical shape model based on the iterative closest point algorithm. The method does not require manual nor automatic identification ...
Frans Vos, Paul W. de Bruin, J. G. M. Aubel, Geert...
MICCAI
2004
Springer
16 years 7 months ago
Adaptive Segmentation of Multi-modal 3D Data Using Robust Level Set Techniques
Abstract. A new 3D segmentation method based on the level set technique is proposed. The main contribution is a robust evolutionary model which requires no fine tuning of parameter...
Aly A. Farag, Hossam S. Hassan
ICML
1995
IEEE
16 years 7 months ago
Stable Function Approximation in Dynamic Programming
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...
Geoffrey J. Gordon
HIPEAC
2010
Springer
16 years 3 months ago
Performance and Power Aware CMP Thread Allocation Modeling
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
Yaniv Ben-Itzhak, Israel Cidon, Avinoam Kolodny
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
16 years 1 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...