4218 search results - page 280 / 844 » Complete sets of cooperations |
178
click to vote
CPAIOR
2004
Springer
15 years 11 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 ...
167
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
138
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
139
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
165
Voted
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...