Sciweavers

220 search results - page 17 / 44
» Global Conformal Parameterization
Sort
View
AAAI
2008
13 years 12 months ago
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems
The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effor...
Yong Gao
ISVC
2009
Springer
14 years 4 months ago
Adaptive Contextual Energy Parameterization for Automated Image Segmentation
Image segmentation techniques are predominately based on parameter-laden optimization processes. The segmentation objective function traditionally involves parameters (i.e. weights...
Josna Rao, Ghassan Hamarneh, Rafeef Abugharbieh
BMVC
2010
13 years 7 months ago
StyP-Boost: A Bilinear Boosting Algorithm for Learning Style-Parameterized Classifiers
We introduce a novel bilinear boosting algorithm, which extends the multi-class boosting framework of JointBoost to optimize a bilinear objective function. This allows style param...
Jonathan Warrell, Philip H. S. Torr, Simon Prince
ICIAR
2005
Springer
14 years 3 months ago
Robust Global Mosaic Topology Estimation for Real-Time Applications
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
Nuno Pinho da Silva, João Paulo Costeira
CAV
2007
Springer
118views Hardware» more  CAV 2007»
14 years 3 months ago
Local Proofs for Global Safety Properties
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
Ariel Cohen 0002, Kedar S. Namjoshi