2905 search results - page 243 / 581 » Formal Memetic Algorithms |
104
Voted
MICCAI
2003
Springer
16 years 1 months ago
2003
Springer
Accurate quantification of total body and the distribution of regional adipose tissue using manual segmentation is a challenging problem due to the high variation between manual de...
94
Voted
ICML
2005
IEEE
16 years 1 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...
91
Voted
ICML
2001
IEEE
16 years 1 months ago
2001
IEEE
We call data weakly labeled if it has no exact label but rather a numerical indication of correctness of the label "guessed" by the learning algorithm - a situation comm...
97
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...