866 search results - page 3 / 174 » A Formal Investigation of |
ISCIS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
IJDAR
2007
13 years 7 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
ICCE
2007
13 years 8 months ago
2007
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
ACMDIS
2010
ACM
13 years 7 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...