Sciweavers

1671 search results - page 234 / 335
» On the Covering Steiner Problem
Sort
View
MICCAI
2005
Springer
16 years 6 months ago
Adaptive Subdivision for Hierarchical Non-rigid Registration of Multi-modal Images Using Mutual Information
In this paper we present an enhanced method for non-rigid registration of volumetric multi-modal images using Mutual Information (MI). Based on a hierarchical subdivision scheme, t...
Adrian Andronache, Philippe C. Cattin, Gábo...
159
Voted
ICML
2008
IEEE
16 years 6 months ago
Nearest hyperdisk methods for high-dimensional classification
In high-dimensional classification problems it is infeasible to include enough training samples to cover the class regions densely. Irregularities in the resulting sparse sample d...
Hakan Cevikalp, Bill Triggs, Robi Polikar
CAV
2009
Springer
116views Hardware» more  CAV 2009»
16 years 6 months ago
Meta-analysis for Atomicity Violations under Nested Locking
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
STOC
2003
ACM
95views Algorithms» more  STOC 2003»
16 years 6 months ago
Random knapsack in expected polynomial time
In this paper, we present the first average-case analysis proving an expected polynomial running time for an exact algorithm for the 0/1 knapsack problem. In particular, we prove,...
René Beier, Berthold Vöcking
ICCAD
2002
IEEE
143views Hardware» more  ICCAD 2002»
16 years 2 months ago
A Markov chain sequence generator for power macromodeling
In macromodeling-based power estimation, circuit macromodels are created from simulations of synthetic input vector sequences. Fast generation of these sequences with all possible...
Xun Liu, Marios C. Papaefthymiou