8582 search results - page 143 / 1717 » Here or There |
186
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
We study the problem of allocating students to projects, where both students and lecturers have preferences over projects, and both projects and lecturers have capacities. In this...
181
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
In this paper some of the most fundamental problems in computational biology are proved intractable. The following problems are shown NP-hard for all binary or larger alphabets und...
173
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, a comprehensive e-tutoring service framework is presented. It compromises a set of individual applications implemented based on the use of existing open source tools...
165
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Intelligence analysts face the need for immediate, up-to-date information about individuals of interest. While biographies can be written and stored in text databases, we argue tha...
155
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...