1116 search results - page 113 / 224 » Applying Predicate Abstraction to Abstract State Machines |
137
click to vote
MLDM
2001
Springer
15 years 10 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 ...
149
click to vote
MLDM
2001
Springer
15 years 10 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...
164
click to vote
SEAL
1998
Springer
15 years 10 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...
120
click to vote
SEAL
1998
Springer
15 years 10 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...
203
click to vote
ECTEL
2006
Springer
15 years 9 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...