3690 search results - page 588 / 738 » Computation with classical sequents |
137
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes a Genetic Algorithms approach to a manpower-scheduling problem arising at a major UK hospital. Although Genetic Algorithms have been successfully used for sim...
136
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We propose new robust classification algorithms for planar and spatial curves subjected to affine transformations. Our motivation comes from the problems in computer image recognit...
130
click to vote
CSDA
2010
15 years 5 months ago
2010
Confirmatory factor analysis (CFA) is a data anylsis procedure that is widely used in social and behavioral sciences in general and other applied sciences that deal with large qua...
136
Voted
CPHYSICS
2008
15 years 5 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
157
click to vote
DISOPT
2010
15 years 5 months ago
2010
In this paper, a variant of the Traveling Salesman Problem with Time Windows is considered, which consists in minimizing the sum of travel durations between a depot and several cu...