6455 search results - page 124 / 1291 » Research problems |
243
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we discuss advances in self-tuning database systems over the past decade, based on our experience in the AutoAdmin project at Microsoft Research. This paper primaril...
145
click to vote
AIR
1999
15 years 6 months ago
1999
The timetabling problem consists in scheduling a sequence of lectures between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints...
157
click to vote
PATAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
199
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
142
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In the past few years, several research works have addressed the problems posed by vision