Sciweavers

16404 search results - page 907 / 3281
» A set coverage problem
Sort
View
207
Voted
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 8 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
166
Voted
KDD
2005
ACM
89views Data Mining» more  KDD 2005»
16 years 8 months ago
Mining risk patterns in medical data
In this paper, we discuss a problem of finding risk patterns in medical data. We define risk patterns by a statistical metric, relative risk, which has been widely used in epidemi...
Jiuyong Li, Ada Wai-Chee Fu, Hongxing He, Jie Chen...
CVPR
2010
IEEE
16 years 3 months ago
Globally Optimal Pixel Labeling Algorithms for Tree Metrics
We consider pixel labeling problems where the label set forms a tree, and where the observations are also labels. Such problems arise in feature-space analysis with a very large...
Pedro Felzenszwalb, Gyula Pap, Eva Tardos, Ramin Z...
GECCO
2007
Springer
150views Optimization» more  GECCO 2007»
16 years 1 months ago
Credit assignment in adaptive memetic algorithms
Adaptive Memetic Algorithms couple an evolutionary algorithm with a number of local search heuristics for improving the evolving solutions. They are part of a broad family of meta...
J. E. Smith
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
16 years 1 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil