Sciweavers

5196 search results - page 901 / 1040
» State of Application Assessment
Sort
View
145
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 3 months ago
Symmetry Breaking for Maximum Satisfiability
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
João Marques-Silva, Inês Lynce, Vasco...
142
Voted
CORR
2008
Springer
100views Education» more  CORR 2008»
15 years 3 months ago
Statistical region-based active contours with exponential family observations
In this paper, we focus on statistical region-based active contour models where image features (e.g. intensity) are random variables whose distribution belongs to some parametric ...
François Lecellier, Stéphanie Jehan-...
154
Voted
CORR
2010
Springer
187views Education» more  CORR 2010»
15 years 3 months ago
Learning in A Changing World: Non-Bayesian Restless Multi-Armed Bandit
We consider the restless multi-armed bandit (RMAB) problem with unknown dynamics. In this problem, at each time, a player chooses K out of N (N > K) arms to play. The state of ...
Haoyang Liu, Keqin Liu, Qing Zhao
107
Voted
DM
2008
100views more  DM 2008»
15 years 3 months ago
Adaptive group testing for consecutive positives
Motivated from an application to DNA library screening, Balding and Torney [1] and Colbourn [4] studied the following group testing for consecutive positives. Suppose Vn = {v1 v2 ...
Justie Su-tzu Juan, Gerard J. Chang
ENTCS
2008
115views more  ENTCS 2008»
15 years 3 months ago
Time Separation of Events: An Inverse Method
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
Emmanuelle Encrenaz, Laurent Fribourg