1199 search results - page 165 / 240 » Automated Extraction of Problem Structure |
FUIN
2010
13 years 9 months ago
2010
From an empirical point of view, the hardness of quantified Boolean formulas (QBFs), can be characterized by the (in)ability of current state-of-the-art QBF solvers to decide abo...
ISBI
2011
IEEE
13 years 2 months ago
2011
IEEE
Automated cell tracking in populations is important for research and discovery in biology and medicine. In this paper, we propose a cell tracking method based on global spatiotemp...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
We study the problem of classifying an autistic group from controls using structural image data alone, a task that requires a clinical interview with a psychologist. Because of the...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper introduces an approach for handling complex labelling problems driven by local constraints. The purpose is illustrated by two applications: detection of the road networ...
ICPPW
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper addresses the Microarray Gene Ordering problem. It consists in ordering a set of genes, grouping together the ones with similar behavior. This behavior can be measured ...