1914 search results - page 140 / 383 » Abstract lambda-Calculus Machines |
MLDM
2001
Springer
15 years 6 months ago
2001
Springer
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
100
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Abstract One of the main hurdles to improved CLIR effectiveness is resolving ambiguity associated with translation. Availability of resources is also a problem. First we present a ...
124
click to vote
SEAL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper deals with the problem of nurse rostering in Belgian hospitals. This is a highly constrained real world problem that was (until the results of this research we...
SEAL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper, we discuss an approach to an operator scheduling problem in a large organization over time with the aim of maintaining service quality and reducing total l...
152
Voted
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...