1914 search results - page 140 / 383 » Abstract lambda-Calculus Machines |
MLDM
2001
Springer
14 years 22 days 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...
SIGIR
1998
ACM
14 years 16 days 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 ...
SEAL
1998
Springer
14 years 15 days 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
14 years 15 days 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...
ICCL
1992
IEEE
14 years 11 days 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 ...