1116 search results - page 113 / 224 » Applying Predicate Abstraction to Abstract State Machines |
MLDM
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. This paper proposes a general local learning framework to effectively alleviate the complexities of classifier design by means of “divide and conquer” principle and ...
MLDM
2001
Springer
15 years 3 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...
SEAL
1998
Springer
15 years 3 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 3 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...
117
click to vote
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...