1914 search results - page 231 / 383 » Abstract lambda-Calculus Machines |
CPAIOR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new solution approach for the Job Shop Problem with Sequence Dependent Setup Times (SDST-JSP). The problem consists in scheduling jobs, each job being a set ...
CSCLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
CSCLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
DAGM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
DAGM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...