Sciweavers

790 search results - page 146 / 158
» Subexponential Parameterized Algorithms
Sort
View
HVC
2005
Springer
183views Hardware» more  HVC 2005»
15 years 5 months ago
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
Rahul Agarwal, Liqiang Wang, Scott D. Stoller
SIGMETRICS
2010
ACM
195views Hardware» more  SIGMETRICS 2010»
15 years 3 months ago
CWS: a model-driven scheduling policy for correlated workloads
We define CWS, a non-preemptive scheduling policy for workloads with correlated job sizes. CWS tackles the scheduling problem by inferring the expected sizes of upcoming jobs bas...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
CVIU
2008
296views more  CVIU 2008»
15 years 22 hour ago
Image segmentation evaluation: A survey of unsupervised methods
Image segmentation is an important processing step in many image, video and computer vision applications. Extensive research has been done in creating many different approaches an...
Hui Zhang, Jason E. Fritts, Sally A. Goldman
MICCAI
2006
Springer
16 years 27 days ago
A Landmark-Based Brain Conformal Parametrization with Automatic Landmark Tracking Technique
Abstract. In this paper, we present algorithms to automatically detect and match landmark curves on cortical surfaces to get an optimized brain conformal parametrization. First, we...
Lok Ming Lui, Yalin Wang, Tony F. Chan, Paul M. Th...
STOC
2004
ACM
150views Algorithms» more  STOC 2004»
16 years 7 days ago
Typical properties of winners and losers in discrete optimization
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
René Beier, Berthold Vöcking