575 search results - page 8 / 115 » constraints 2011 |
126
Voted
CPP
2011
14 years 4 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
164
click to vote
MIA
2011
14 years 11 months ago
2011
The automatic segmentation of the prostate and rectum from 3-D computed tomography (CT) images is still a challenging problem, and is critical for image-guided therapy application...
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables. We ident...
109
click to vote
EOR
2011
14 years 11 months ago
2011
We develop a numerical scheme for determining the optimal asset allocation strategy for time-consistent, continuous time, mean variance optimization. Any type of constraint can be...
155
click to vote
IAJIT
2011
14 years 11 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...