150 search results - page 5 / 30 » A Survey of Automated Timetabling |
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
ICTL
1994
13 years 11 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
IADIS
2004
13 years 9 months ago
2004
In this paper we present the Intercollege Intranet, which has been developed within the strategic aims of the College to offer better services to students and faculty and to enhan...
MKWI
2008
13 years 9 months ago
2008
: IT risk management is an important challenge for businesses and software vulnerabilities are a major source of IT risks, as the 2006 CSI/FBI Computer Crime and Security Survey [G...
HIS
2001
13 years 9 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...