Sciweavers

1917 search results - page 140 / 384
» The York Abstract Machine
Sort
View
MLDM
2001
Springer
15 years 10 months ago
Learning XML Grammars
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...
Henning Fernau
SIGIR
1998
ACM
15 years 10 months ago
Resolving Ambiguity for Cross-Language Retrieval
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 ...
Lisa Ballesteros, W. Bruce Croft
SEAL
1998
Springer
15 years 10 months ago
A Hybrid Tabu Search Algorithm for the Nurse Rostering Problem
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...
Edmund K. Burke, Patrick De Causmaecker, Greet Van...
SEAL
1998
Springer
15 years 10 months ago
Information Operator Scheduling by Genetic Algorithms
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...
Takeshi Yamada, Kazuyuki Yoshimura, Ryohei Nakano
ICCL
1992
IEEE
15 years 10 months ago
An automatically generated and provably correct compiler for a subset of Ada
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 ...
Jens Palsberg